Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Wed, 20 Jul 2022 16:04:41 +0000 (17:04 +0100)
committerMatthias Klose <doko@ubuntu.com>
Wed, 20 Jul 2022 16:04:41 +0000 (17:04 +0100)
commit7ae1243a2c2ebd6791a9045c6d78d480f3d59640
tree18ab6dda837cd85877b5c627d7e7e03b5da89fb3
parenta5cb82e1d2a0192c9d4f16bc9f7cfb6da4674c1e
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