diff -Nru maria-1.3.5/debian/changelog maria-1.3.5/debian/changelog
--- maria-1.3.5/debian/changelog	2016-12-01 22:06:16.000000000 +0000
+++ maria-1.3.5/debian/changelog	2019-01-14 20:01:51.000000000 +0000
@@ -1,3 +1,9 @@
+maria (1.3.5-4.1build1) disco; urgency=medium
+
+  * No-change rebuild for readline soname change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Mon, 14 Jan 2019 20:01:51 +0000
+
 maria (1.3.5-4.1) unstable; urgency=medium
 
   * Non-maintainer upload.