[notes] 05/05: Add bug reference for dune-pdelab

[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 1c045faa80c4e9ce8ce4b9e45ad0e7cd3cc033cb
Author: Chris Lamb <lamby at debian.org>
Date:   Sat Oct 1 22:49:02 2016 +0100

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

diff --git a/packages.yml b/packages.yml
index dea9567..0cb92d6 100644
--- a/packages.yml
+++ b/packages.yml
@@ -5085,6 +5085,10 @@ dune-localfunctions:
   issues:
     - timestamps_in_tex_documents
     - fonts_in_pdf_files
+dune-pdelab:
+  version: 2.4.1-1
+  bugs:
+    - 838327
 dupload:
   version: 2.7.0
   issues:

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