[Reproducible-commits] [notes] 03/05: Make more types greppable.

Chris Lamb lamby at moszumanska.debian.org
Wed Jun 29 18:10:39 UTC 2016


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

lamby pushed a commit to branch master
in repository notes.

commit f441054d7b7e1e63af00aacdce5f74bef57d0937
Author: Chris Lamb <lamby at debian.org>
Date:   Wed Jun 29 20:03:53 2016 +0200

    Make more types greppable.
---
 issues.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/issues.yml b/issues.yml
index 0bef324..1c12541 100644
--- a/issues.yml
+++ b/issues.yml
@@ -76,7 +76,7 @@ timestamps_in_dvi_generated_by_latex:
   deterministic: True
 timestamps_in_ps_generated_by_dvips:
   description: |
-    eg. %%CreationDate: in header
+    eg. %%CreationDate (or DVIPSSource?) in header
   deterministic: True
 blacklisted_on_jenkins:
   description: |

-- 
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