gap-laguna (3.9.1+ds-1) unstable; urgency=medium * New upstream minor version. * Debianization: - debian/patches/*: - d/p/debianization-documentation.patch, refresh; - debian/tests/*: - d/t/makecheck.tst, update. -- Jerome Benoit <email address hidden> Fri, 07 Dec 2018 07:03:58 +0000