[notes] 01/01: Tag minizinc with random_id_in_pdf_generated_by_dblatex

[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 aba7905f88dc44130024895258a09cc90fc49e6a
Author: Chris Lamb <lamby at debian.org>
Date:   Thu Feb 15 08:36:51 2018 +0000

    Tag minizinc with random_id_in_pdf_generated_by_dblatex
---
 packages.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages.yml b/packages.yml
index 07a869f..42c8318 100644
--- a/packages.yml
+++ b/packages.yml
@@ -14440,6 +14440,10 @@ miniupnpc:
   version: 1.9.20140610-2.1
   issues:
     - gcc_captures_build_path
+minizinc:
+  version: 2.1.7+dfsg1-1
+  issues:
+    - random_id_in_pdf_generated_by_dblatex
 minlog:
   version: 4.0.99.20100221-5.2
   issues:

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