Am 28.09.20 um 09:45 schrieb Michel Dänzer:
> Can you create an upstream merge request at
> https://gitlab.freedesktop.org/xorg/xserver/-/merge_requests ?
Hello Michel,
thanks for looking at the issue.
I created this merge request:
https://gitlab.freedesktop.org/xorg/xserver/-/merge_requests/524
Kind regards,
Bernhard