Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Mon, 22 Apr 2024 10:26:25 +0000 (12:26 +0200)
committerMoritz Muehlenhoff <jmm@debian.org>
Mon, 22 Apr 2024 10:26:25 +0000 (12:26 +0200)
commit8ad5d7f898ace4b05003ed08cca39906a1f72a4b
tree2540f1fe2d7c2e71a7f7d91fd13da67607ab68c3
parentb55456b6a89ee392afc637ba92fd1d2496064b59
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