De bugfix zou zeker moeten doorrollen naar Ubuntu 20.04. Ik heb er (sedert gisterenvoormiddag) nog niets van gemerkt - hoopte dat het al opgelost was.
Rest de vraag wat nu de voordelen van Mutter boven Wayland zijn. Iemand een antwoord?
Je bedoelt wellicht voordelen van Xorg boven Wayland. Xorg en Wayland zijn beiden display managers - ze zorgen dat er grafische elementen op je monitor kunnen getoond worden. Mutter is een window manager: die zorgt voor de plaatsing van je vensters, en die draait op de display server. Blijkbaar speelt die ook een rol in de werking van het klembord.
Xorg is oude technologie. Wayland is bedoeld om op termijn Xorg te vervangen. Een belangrijke reden is security. Xorg is zeer gevoelig voor veiligheidslekken. Omdat het oude code is, is dat blijkbaar moeilijk te verhelpen.
Omdat Wayland nieuw is, zijn er nog wel ruwe kantjes. Het veiligheidsmodel brengt ook beperkingen met zich mee. Ubuntu 17.10, de eerste Ubuntu versie op Gnome Shell, gebruikte standaard Wayland, maar ze zijn snel terug naar Xorg overgegaan.