debian/changelog
branch3.26
changeset 12700 da655642db17
parent 12699 46f6db5167e7
child 12701 d8c491c1e580
--- a/debian/changelog	Wed Jun 05 16:29:04 2019 +0200
+++ b/debian/changelog	Mon Jun 10 10:53:48 2019 +0200
@@ -5,6 +5,7 @@
 
   [ Jérémy Bobbio ]
   * Switch to Debian source format 3.0 (quilt).
+  * Specify priority “optional” instead of the obsolete “extra”.
 
  -- Denis Laxalde <denis.laxalde@logilab.fr>  Fri, 12 Jul 2019 11:54:09 +0200