diff -Nru gnome-pie-0.7.1/debian/changelog gnome-pie-0.7.2/debian/changelog
--- gnome-pie-0.7.1/debian/changelog	2018-10-30 05:00:23.000000000 +0000
+++ gnome-pie-0.7.2/debian/changelog	2018-10-30 05:01:43.000000000 +0000
@@ -1,6 +1,6 @@
-gnome-pie (0.7.1-0ppa1~bionic0) bionic; urgency=low
+gnome-pie (0.7.2-0ppa0~bionic0) bionic; urgency=low
 
   * New git build 38f02b2 (updated from 5802230)
 
- -- Simon Schneegans <code@simonschneegans.de>  Tue, 30 Oct 2018 06:00:23 +0100
+ -- Simon Schneegans <code@simonschneegans.de>  Tue, 30 Oct 2018 06:01:43 +0100