Hello Simon, thank you for the prompt reply! On 16/03/2021 21:01, Simon McVittie wrote:
On Tue, 16 Mar 2021 at 20:23:59 +0100, Thomas Viehmann wrote:I wonder if this bug (#972716) might be worth fixing before the release of bulleye.You never said which version of gnome-shell or mutter is/was affected. Which version is/was affected? It might be obvious to you, but it isn't obvious to me whether you're talking about 3.38.x, 3.30.x or something else.
3.38, but I missed that you had the fixes from the issue already and also missed that my report was a duplicate of #970295, so I guess this is fixed all right.
Thank you again, and sorry for the confusion. Best regards Thomas