Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Mon, 9 Sep 2024 13:48:20 +0000 (15:48 +0200)
committerMatthias Klose <doko@ubuntu.com>
Mon, 9 Sep 2024 13:48:20 +0000 (15:48 +0200)
commit00424d26416a0531c6ef31acec8e6ea6af4a7055
treee9babc0b6d18c0c28e6f2ac5fd6f51a73750f29f
parent8d0b597e0acdda2fa2035fddf365e0dec065c238
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