I created a bug report at freedesktop.org, https://bugs.freedesktop.org/show_bug.cgi?id=28890
Nikolaus, please follow that report in case something extra is needed.
I created a bug report at freedesktop.org, /bugs.freedeskt op.org/ show_bug. cgi?id= 28890
https:/
Nikolaus, please follow that report in case something extra is needed.