Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Thu, 2 Nov 2023 10:23:27 +0000 (11:23 +0100)
committerMatthias Klose <doko@ubuntu.com>
Thu, 2 Nov 2023 10:23:27 +0000 (11:23 +0100)
commitfe606a14d51ef5a277da67a6edc7d1d647790f6a
tree2c9bc35d4ac809acd968170f8dca2ef3ac4a605f
parentb4344cd7aba195e49423031e7826604b2bb307b7
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