[notes] 02/03: Add missing usertagged bugs

[Mattia Rizzolo]

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

mattia pushed a commit to branch master
in repository notes.

commit 88afca248fdd708b7d31ade2d2937cdc9e655273
Author: automatic commit from Mattia Rizzolo <mattia at debian.org>
Date:   Tue May 15 00:01:26 2018 +0000

    Add missing usertagged bugs
---
 packages.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages.yml b/packages.yml
index 4cc5253..25efb82 100644
--- a/packages.yml
+++ b/packages.yml
@@ -4489,6 +4489,10 @@ dumpet:
   version: 2.1-9
   issues:
     - gcc_captures_build_path
+dune:
+  version: 1.0~beta20-1
+  bugs:
+    - 894621
 dune-common:
   version: 2.4.0-1
   issues:

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