(In reply to A.H.M. Donkers from comment #3) > Fixed with Tumbleweed snapshot 20170616. Closed as resolved.