[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