Ubuntu Gnome versions:
https://askubuntu.com/questions/1065431/how-to-find-current-version-of-gnome-for-ubuntu-18-04-from-internet
_______________________________________________ lilypond-user mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-user
