From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 22 Mar 2015 20:45:11 +0000 (+0100)
Subject: Merge branch 't/gui_reload_fix'
X-Git-Tag: v0.5.5~56
X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=fb9bb2beb2aea456d99cd93f6badc0b3164b3e29

Merge branch 't/gui_reload_fix'

Was cooking for two weeks.

* t/gui_reload_fix:
  gui: Fix config file reloading.
---

fb9bb2beb2aea456d99cd93f6badc0b3164b3e29