Bug#823966: override: gnome-devel-docs:doc/optional

Michael Biebl biebl at debian.org
Tue May 10 19:43:46 UTC 2016


Package: ftp.debian.org
Severity: normal

Hi,

please move gnome-devel-docs from section gnome into section doc.
I've already made the according change in debian/control [1]

Thanks,
Michael

[1] https://anonscm.debian.org/viewvc/pkg-gnome?view=revision&revision=48173



More information about the pkg-gnome-maintainers mailing list