[Reproducible-commits] [notes] 02/05: Tag mlton with timestamps_in_documentation_generated_by_htmldoc

[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 fa13ca5e76c951d9f72d98069a49462955f1e5a0
Author: Chris Lamb <lamby at debian.org>
Date:   Sun Aug 30 19:46:36 2015 +0100

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

diff --git a/packages.yml b/packages.yml
index dfbf224..8a5da9f 100644
--- a/packages.yml
+++ b/packages.yml
@@ -9946,6 +9946,10 @@ mlpy:
   version: 2.2.0~dfsg1-2.1
   issues:
     - timestamps_in_pdf_generated_by_latex
+mlton:
+  version: 20100608-5.1
+  issues:
+    - timestamps_in_documentation_generated_by_htmldoc
 mm-common:
   version: 0.9.7-1
   issues:

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