> On 2 Aug 2021, at 19:26, Daniel van Vugt <email address hidden> wrote: > > It might die soon: > > https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1840
Fair enough. Only took 14 years. Better late than never… :-)
> On 2 Aug 2021, at 19:26, Daniel van Vugt <email address hidden> wrote: /gitlab. gnome.org/ GNOME/mutter/ -/merge_ requests/ 1840
>
> It might die soon:
>
> https:/
Fair enough. Only took 14 years. Better late than never… :-)