[notes] 01/01: Link to gringo bug

[Reiner Herrmann]

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

deki-guest pushed a commit to branch master
in repository notes.

commit d994cb69ea0d55c4212fa71020c8c233b4e29530
Author: Reiner Herrmann <reiner at reiner-h.de>
Date:   Sat Nov 12 13:40:48 2016 +0100

    Link to gringo bug
---
 packages.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages.yml b/packages.yml
index 3269c39..f9a0272 100644
--- a/packages.yml
+++ b/packages.yml
@@ -9716,6 +9716,10 @@ grinder:
   version: 0.5.4-1
   issues:
     - captures_build_path
+gringo:
+  version: 4.5.4-3
+  bugs:
+    - 844096
 grml-debootstrap:
   version: 0.73
   issues:

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