Bernd 09/08/2017 (Fri) 06:19:31 No. 10075 del
might make sense to file a bug report