Thu, 08 Jun 2017 23:30:58 +0200workaround is harmful now, bug does not exist any more
Volker Birk <vb@pep.foundation> [Thu, 08 Jun 2017 23:30:58 +0200] rev 11
workaround is harmful now, bug does not exist any more