diff -Nru tasksh-1.2.0/debian/changelog tasksh-1.2.0/debian/changelog
--- tasksh-1.2.0/debian/changelog	2017-07-02 11:06:44.000000000 +0000
+++ tasksh-1.2.0/debian/changelog	2019-01-14 20:04:42.000000000 +0000
@@ -1,3 +1,9 @@
+tasksh (1.2.0-1build1) disco; urgency=medium
+
+  * No-change rebuild for readline soname change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Mon, 14 Jan 2019 20:04:42 +0000
+
 tasksh (1.2.0-1) unstable; urgency=medium
 
   * Team upload.