[Reproducible-commits] [notes] 01/01: Add fix/patch for splint

[Chris Lamb]

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

lamby pushed a commit to branch master
in repository notes.

commit 30f3ffe828b33fce1a79d037770a24c906b31211
Author: Chris Lamb <lamby at debian.org>
Date:   Fri Aug 28 22:54:48 2015 +0100

    Add fix/patch for splint
---
 packages.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages.yml b/packages.yml
index 7201a06..8d8ed0e 100644
--- a/packages.yml
+++ b/packages.yml
@@ -15405,6 +15405,10 @@ splash:
   issues:
     - timestamps_in_pdf_generated_by_latex
     - timestamps_in_manpages_generated_by_help2man
+splint:
+  version: 3.1.2.dfsg1-2
+  bugs:
+    - 797254
 spock:
   version: 0.6-groovy-1.8-3
   issues:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/notes.git