On Sun, 22 Sep 2019 at 15:27:54 +0100, Adam D. Barratt wrote: > On Tue, 2019-09-10 at 11:58 +0100, Simon McVittie wrote: > > Do these changes seem OK to upload to proposed-updates now > > that 10.1 is out? > > Please go ahead; thanks. mutter and gnome-shell both uploaded. smcv