Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Sun, 28 Jan 2024 23:07:10 +0000 (00:07 +0100)
committerMoritz Mühlenhoff <jmm@debian.org>
Sun, 28 Jan 2024 23:07:10 +0000 (00:07 +0100)
commit65c476f48aa5dde4fe2b283a588b2a28957c8682
treed20371bee88abb055b0e3f4418d3f0de0d8e0ac9
parentac38814aff7945c25997ce201ec024a5d3855eb7
Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified

Forwarded: no

Gbp-Pq: Name reproducible-properties-timestamp.diff
src/java.base/share/classes/java/util/Properties.java