Bug#914278: openjdk-11: Reproducible properties file header when SOURCE_DATE_EPOCH is specified

2018-11-21 Thread Holger Levsen
clone 914278 -1 reassign -1 strip-nondeterminism block -1 by 914278 retitle -1 strip-nondeterminism: disable javadoc handler # thanks Emmanuel -- cheers, Holger ---

Bug#914278: openjdk-11: Reproducible properties file header when SOURCE_DATE_EPOCH is specified

2018-11-21 Thread Chris Lamb
Hi, > openjdk-11: Reproducible properties file header when > SOURCE_DATE_EPOCH is specified Thanks for this patch! I've updated the reference to the corresponding "issue" in our Git repository here:

Bug#914278: openjdk-11: Reproducible properties file header when SOURCE_DATE_EPOCH is specified

2018-11-21 Thread Emmanuel Bourg
Source: openjdk-11 Severity: normal User: reproducible-bui...@lists.alioth.debian.org Usertags: timestamps toolchain When writing a properties file using the java.util.Properties class, a header containing the current date is automatically added. This renders the output non reproducible. Here is