[notes] 02/02: Add bug reference for z3

[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 f636a7e6480a97f5be477e5522174af193ff20f5
Author: Chris Lamb <lamby at debian.org>
Date:   Sun Aug 28 11:49:38 2016 +0100

    Add bug reference for z3
---
 packages.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages.yml b/packages.yml
index 7eb9630..db09108 100644
--- a/packages.yml
+++ b/packages.yml
@@ -22500,6 +22500,10 @@ yudit:
   comments: |
     Timestamp removed in 790088 but there is some uninitialised memory
     immediately after.
+z3:
+  version: 4.4.1-0.2
+  bugs:
+    - 835754
 z80asm:
   version: 1.8-1
   issues:

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