[Reproducible-commits] [notes] 02/03: timestamps_in_documentation_generated_by_man2html got patched in our repo
Mattia Rizzolo
mattia at mapreri.org
Thu Oct 1 22:14:33 UTC 2015
This is an automated email from the git hooks/post-receive script.
mapreri-guest pushed a commit to branch master
in repository notes.
commit 392876570efe59ed79f02ffa8d3ed7cc505d63e5
Author: Mattia Rizzolo <mattia at mapreri.org>
Date: Thu Oct 1 22:04:41 2015 +0000
timestamps_in_documentation_generated_by_man2html got patched in our repo
---
issues.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/issues.yml b/issues.yml
index 66adfbc..631baf3 100644
--- a/issues.yml
+++ b/issues.yml
@@ -43,6 +43,7 @@ random_anchor_names_generated_by_docbook_to_man:
timestamps_in_documentation_generated_by_man2html:
description: |
man2html adds a timestamp at the end of a generated HTML file.
+ Patch at https://bugs.debian.org/796130 applied to our repo.
url: https://wiki.debian.org/ReproducibleBuilds/TimestampsInDocumentationGeneratedByMan2Html
timestamps_in_dvi_generated_by_latex:
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