Richard B. Kreckel Mon, 28 Dec 2020 12:39:14 -0800
This seems to be fixed in mutter 3.38.2-1.
OpenPGP_signature Description: OpenPGP digital signature