[Reproducible-commits] [notes] 01/01: Updated note of bash

[Reiner Herrmann]

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

deki-guest pushed a commit to branch master
in repository notes.

commit d7ed550427d3f7261c421a2f3ec7ae34628afaa3
Author: Reiner Herrmann <reiner at reiner-h.de>
Date:   Sat May 28 13:39:01 2016 +0200

    Updated note of bash
---
 packages.yml | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/packages.yml b/packages.yml
index 7b9cf62..1289a6d 100644
--- a/packages.yml
+++ b/packages.yml
@@ -781,18 +781,14 @@ basex:
   bugs:
     - 822723
 bash:
-  version: 4.3-11
+  version: 4.3-14
   comments: |
-    bashref.pdf can be reproduced when fixing the same time using faketime. So
-    it might be that dvipdfm seeds stuff using time…
     Uses a private copy of man2html.
+    .
+    Included header file (/usr/include/bash/config.h) varies depending on the kernel version.
+    https://sources.debian.net/src/bash/4.3-14/configure.ac/#L1088
   issues:
     - timestamps_in_documentation_generated_by_man2html
-    - randomness_in_html_generated_by_texi2html
-    - timestamps_in_pdf_generated_by_latex
-    - pdf_created_by_ghostscript
-    - timestamps_in_documentation_generated_by_texi2html
-    - fonts_in_pdf_files
   bugs:
     - 806945
 batik:

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