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
