[Reproducible-commits] [notes] 04/05: Expand note for mlton

Chris Lamb lamby at moszumanska.debian.org
Mon Aug 31 09:38:45 UTC 2015


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

lamby pushed a commit to branch master
in repository notes.

commit 48b851ec51bcfdfdeadfa2a50a9042fd87af50cd
Author: Chris Lamb <lamby at debian.org>
Date:   Sun Aug 30 20:19:06 2015 +0100

    Expand note for mlton
---
 packages.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/packages.yml b/packages.yml
index 85a4881..2fe94ab 100644
--- a/packages.yml
+++ b/packages.yml
@@ -9952,6 +9952,8 @@ mlpy:
     - timestamps_in_pdf_generated_by_latex
 mlton:
   version: 20100608-5.1
+  comments: |
+    Will also need something like https://gist.github.com/8969f5c2d7b97be9f9fa
   issues:
     - timestamps_in_documentation_generated_by_htmldoc
 mm-common:

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



More information about the Reproducible-commits mailing list