[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 f6e839e1c6423a59ccaa313692296d8ce9a00b2a
Author: automatic commit from Mattia Rizzolo <mattia at debian.org>
Date:   Wed Oct 4 00:01:11 2017 +0000

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

diff --git a/packages.yml b/packages.yml
index ec9ba88..cb32be2 100644
--- a/packages.yml
+++ b/packages.yml
@@ -18902,6 +18902,10 @@ ppx-core:
     - captures_build_path
   bugs:
     - 877507
+ppx-deriving:
+  version: 4.1-1
+  bugs:
+    - 876725
 ppx-driver:
   version: 113.33.03-1
   issues:

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