GNOME va se séparer du menu d’applications à partir de GNOME 3.32

octobre 11, 2018