[flint] 01/08: record new upstream branch

[Julien Puydt]

This is an automated email from the git hooks/post-receive script.

jpuydt-guest pushed a commit to branch master
in repository flint.

commit 8a486fef68147e04436cbcc9270cb8ed60936ef9
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Thu Mar 31 23:25:23 2016 +0200

    record new upstream branch
---
 debian/.git-dpm | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/debian/.git-dpm b/debian/.git-dpm
index 245218a..86680e3 100644
--- a/debian/.git-dpm
+++ b/debian/.git-dpm
@@ -2,7 +2,7 @@
 90f71d0b9f32d02247c01c0080f5857a447d2f17
 90f71d0b9f32d02247c01c0080f5857a447d2f17
 f14355e9070e235a68b933b3da8c238468e9a0e2
-f14355e9070e235a68b933b3da8c238468e9a0e2
-flint_2.4.4.orig.tar.gz
-71075ce6d851af6244110644479bf29b4403212c
-1639262
+02ca7bf2912a1e1b0335e212f43ca8339b51b4fe
+flint_2.5.2.orig.tar.gz
+67c747ec92dda0dbc57ab88e2c501b11537299a5
+2212242

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/flint.git