diff -r 46f6db5167e7 -r da655642db17 debian/changelog
--- 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