[Frontend-GNOME] Workaround log4net deadlock on process exit (closes: #876)
Merge branch 'stable'