Thu, 08 Jun 2017 23:31:46 +0200 Volker Birk ...
Thu, 08 Jun 2017 23:30:58 +0200 Volker Birk workaround is harmful now, bug does not exist any more
Sat, 03 Jun 2017 19:30:27 +0200 Volker Birk adding mixedCase()