From a033fb0e37fd3805274766730c9b3fc7809ed571 Mon Sep 17 00:00:00 2001 From: Jose Luis Blanco Date: Sun, 6 Aug 2017 01:03:08 +0200 Subject: [PATCH] update debian changelog --- packaging/debian/changelog | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/packaging/debian/changelog b/packaging/debian/changelog index 563841e0e9..83f7498255 100644 --- a/packaging/debian/changelog +++ b/packaging/debian/changelog @@ -1,3 +1,9 @@ +mrpt (1:1.5.2-1) unstable; urgency=medium + + * New version of upstream sources. + + -- Jose Luis Blanco (University of Malaga) Sun, 06 Aug 2017 01:01:10 +0200 + mrpt (1:1.5.1-1) unstable; urgency=medium * Fix GCC hardening flags (Closes: #865735)