diff -r 8ccf035f2ca3 -r 10ff72a0e428 debian/changelog --- a/debian/changelog Mon Jun 10 11:15:17 2019 +0200 +++ b/debian/changelog Mon Jun 10 12:04:11 2019 +0200 @@ -8,6 +8,7 @@ * Specify priority “optional” instead of the obsolete “extra”. * Tidy substvars usage in control file. * Move lintian-overrides file to debian/source directory. + * Fix doc-base section. -- Denis Laxalde Fri, 12 Jul 2019 11:54:09 +0200