Bug#1107824: Acknowledgement (x11-xserver-utils: xrandr does not anymore correctly detect an HDMI monitor over a usb-c adapter)

[ale]

The bug seems to have been solved by itself through an update or a
simple reboot of the computer.

The ticket can be closed as is.