-
Tristan Van Berkom authored
The previous fix rebuilds the root menu unconditionally, this one only rebuilds the root menu if the root path has indeed changed. https://bugzilla.gnome.org/show_bug.cgi?id=639792
e6a51e4a
The previous fix rebuilds the root menu unconditionally, this one only rebuilds the root menu if the root path has indeed changed. https://bugzilla.gnome.org/show_bug.cgi?id=639792