Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Tue, 30 Jul 2024 06:42:49 +0000 (08:42 +0200)
committerMatthias Klose <doko@ubuntu.com>
Tue, 30 Jul 2024 06:42:49 +0000 (08:42 +0200)
commit93405cc9b85552863d83fa258f36aa5f527711e9
tree22b9794592b4079cebb4df5c0f3c4f18b2a8aa2e
parent2bcff9fef3d4074dc0dc2210ee7e2c632a8b14a5
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