Run of lintian-fixes for gnome-user-docs

Try this locally (using the lintian-brush package):

debcheckout gnome-user-docs
cd gnome-user-docs
lintian-brush

Merge these changes:

Summary

Diff

diff --git a/debian/upstream/metadata b/debian/upstream/metadata
index b2b13c714..1cc43aa48 100644
--- a/debian/upstream/metadata
+++ b/debian/upstream/metadata
@@ -1,3 +1,4 @@
 Bug-Submit: https://gitlab.gnome.org/GNOME/gnome-user-docs/issues
 Repository: https://gitlab.gnome.org/GNOME/gnome-user-docs.git
 Repository-Browse: https://gitlab.gnome.org/GNOME/gnome-user-docs
+Bug-Database: https://gitlab.gnome.org/GNOME/gnome-user-docs/issues

Publish History

Full worker log Full build log