[notes] 01/01: Add new bug for coq-highschoolgeometry

[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 dc5348ecbddd217543ecc12fc72a50f573bc7f99
Author: Chris Lamb <lamby at debian.org>
Date:   Wed Jan 11 10:21:27 2017 +0000

    Add new bug for coq-highschoolgeometry
---
 packages.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages.yml b/packages.yml
index 5ace316..c8997b7 100644
--- a/packages.yml
+++ b/packages.yml
@@ -3677,6 +3677,10 @@ coq-float:
   version: 1:8.4-5
   bugs:
     - 813596
+coq-highschoolgeometry:
+  version: 8.4+20150620-1
+  bugs:
+    - 850925
 coquelicot:
   version: 0.9.5-1
   bugs:

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