Mutter, shell + shell extensions main branch

From: Florian Müllner <fmuellner gnome org>
To: gnome-i18n <gnome-i18n gnome org>
Subject: Mutter, shell + shell extensions main branch
Date: Mon, 19 Jul 2021 00:26:57 +0200

Hello again!

After switching the development branch for Polari went well, we went ahead and switched mutter, gnome-shell and gnome-shell-extensions as well (from "master" to "main").

Cheers, Florian

Follow-Ups:
- Re: Mutter, shell + shell extensions main branch
  - From: Claude Paroz

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]