Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Thu, 26 Jan 2023 10:36:16 +0000 (10:36 +0000)
committerMatthias Klose <doko@ubuntu.com>
Thu, 26 Jan 2023 10:36:16 +0000 (10:36 +0000)
commitdbc4426604a0e10b2658191239217b648fc48483
tree90e588c3a3d55d000632d5a8d141b6d0b69307f8
parent2f5dc3c0da18536b328355d6034a9ff432986a71
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