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