[Pkg-gdb-logs] [dejagnu] 07/08: d/p/series: update

[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 8b4bc9b775adb9e83da717b19308fff2b6d50112
Author: Héctor Orón Martínez <zumbi at debian.org>
Date:   Thu Mar 19 19:00:05 2015 +0100

    d/p/series: update
    
    Signed-off-by: Héctor Orón Martínez <zumbi at debian.org>
---
 debian/patches/series | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/patches/series b/debian/patches/series
index 902f851..9de48bc 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,4 @@
 env-timeout.patch
+0002-doc-runtest.1-Fix-a-spelling-error.patch
+0003-lib-framework.exp-log_and_exit-Set-tool-to-testrun-i.patch
+0004-lib-target.exp-default_target_compile-Prepend-multil.patch

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