[notes] 02/02: Add patch for mdds

[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 2612f9a229594cd3e7ba29bb3c4613063038b128
Author: Chris Lamb <lamby at debian.org>
Date:   Tue Jan 23 09:24:58 2018 +1100

    Add patch for mdds
---
 packages.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages.yml b/packages.yml
index a2f9aa7..9415bcc 100644
--- a/packages.yml
+++ b/packages.yml
@@ -14222,6 +14222,10 @@ mcrl2:
   comments: |
     Embeds the build date into manpages.
     https://sources.debian.net/src/mcrl2/201409.0-1/libraries/utilities/source/command_line_interface.cpp/#L547-L550
+mdds:
+  version: 1.3.1-2
+  bugs:
+    - 888049
 mdocml:
   version: 1.13.3-3
   issues:

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