Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Thu, 24 Aug 2023 06:29:32 +0000 (07:29 +0100)
committerMatthias Klose <doko@ubuntu.com>
Thu, 24 Aug 2023 06:29:32 +0000 (07:29 +0100)
commit9a66d3e9294dc3bd8a0447207237a26caf71406f
tree840d84f9c0e5c821db1abf191fec37524e629321
parentb8c621b769b6730c585c01f97603a9cb5d3126d6
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