[Pkg-gdb-logs] [dejagnu] 05/06: debian/compat: switch to compat 9, no changes

[Hector Oron]

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

zumbi pushed a commit to branch master
in repository dejagnu.

commit 1cfc77147134252988826b42ed58deb719faa965
Author: Héctor Orón Martínez <zumbi at debian.org>
Date:   Sat Nov 25 09:40:58 2017 +0100

    debian/compat: switch to compat 9, no changes
    
    Signed-off-by: Héctor Orón Martínez <zumbi at debian.org>
---
 debian/compat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/compat b/debian/compat
index 7f8f011..ec63514 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-7
+9

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-gdb/dejagnu.git