From: Andre Noll Date: Tue, 14 Jan 2014 14:15:38 +0000 (+0100) Subject: Merge branch 't/exit_fix' X-Git-Tag: v0.1.5~1 X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;h=641e3804cd87fb07b6089facd92f4452e5e3aa12;p=dss.git Merge branch 't/exit_fix' Was cooking since 2013-10. --- 641e3804cd87fb07b6089facd92f4452e5e3aa12