On Mon, 2022-09-19 at 08:21 +0200, Milan Crha via desktop-devel-list
wrote:
> Maybe.
Hi,
just to close this thread with a conclusion: there had been multiple
opinions (I received some also as private responses), and because I do
not have any strong reason for the change and the most opinions were in
a way "why to make any change", thus I decided to _not_ change anything
and keep the versions as it is now.
Bye,
Milan
_______________________________________________
desktop-devel-list mailing list
desktop-devel-list@gnome.org
https://mail.gnome.org/mailman/listinfo/desktop-devel-list
