[notes] 01/03: Tag mrmpi with timestamps_in_documentation_generated_by_htmldoc

[Emanuel Bronshtein]

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

e3amn2l-guest pushed a commit to branch master
in repository notes.

commit ee2f4b56584299a8427b013d7833aa7ffeb24399
Author: Emanuel Bronshtein <e3amn2l at gmx.com>
Date:   Fri Sep 9 17:13:03 2016 +0300

    Tag mrmpi with timestamps_in_documentation_generated_by_htmldoc
---
 packages.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/packages.yml b/packages.yml
index 29c732e..510ed7f 100644
--- a/packages.yml
+++ b/packages.yml
@@ -15294,6 +15294,8 @@ mrmpi:
   version: 1.0~20140404-1
   comments: |
     Timestamp and differing content in PDF generated with htmldoc
+  issues:
+    - timestamps_in_documentation_generated_by_htmldoc
 mrpt:
   version: 1:1.2.2-1.1
   issues:

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