From: Ralf Jung Date: Mon, 8 Jun 2015 18:23:10 +0000 (+0200) Subject: fix some bugs X-Git-Url: https://git.ralfj.de/git-mirror.git/commitdiff_plain/eea79d998ebaa55f0553696fbd51528f8f1f07ba?ds=inline;hp=eea79d998ebaa55f0553696fbd51528f8f1f07ba fix some bugs ---