diff -Nru netpipe-3.7.2/debian/changelog netpipe-3.7.2/debian/changelog
--- netpipe-3.7.2/debian/changelog	2016-10-22 01:40:26.000000000 +0000
+++ netpipe-3.7.2/debian/changelog	2018-05-13 15:01:59.000000000 +0000
@@ -1,3 +1,9 @@
+netpipe (3.7.2-7.4build3) cosmic; urgency=medium
+
+  * No-change rebuild for dune openmpi soname change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Sun, 13 May 2018 15:01:59 +0000
+
 netpipe (3.7.2-7.4build2) zesty; urgency=medium
 
   * No-change rebuild against libopenmpi2