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

Sat, 03 Jun 2017 19:30:27 +0200adding mixedCase()
Volker Birk <vb@pep.foundation> [Sat, 03 Jun 2017 19:30:27 +0200] rev 10
adding mixedCase()