ubuntu/3.31.4-2ubuntu2

Jeremy Bícha

@jbicha

20660027 · Release gnome-menus 3.31.4-2ubuntu2 · Jan 24, 2019

gnome-menus Debian release 3.31.4-2ubuntu2