debian/3.30.1-1

Jeremy Bícha

@jbicha

b133fdb2 · releasing package gnome-user-docs version 3.30.1-1 · Oct 05, 2018

tagging package gnome-user-docs version debian/3.30.1-1