Dear Maintainer,

I have Cinnamon and Gnome installed. I set up both DEs to have the English and
Greek keyboard layouts. However, every time I switch to Cinnamon and then
coming back to Gnome, Gnome has lost completely the Greek language setting. I
have to re-set it up in the preferences. This is 100% reproducible here.