Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Sat, 10 Aug 2024 08:08:49 +0000 (10:08 +0200)
committerMatthias Klose <doko@ubuntu.com>
Sat, 10 Aug 2024 08:08:49 +0000 (10:08 +0200)
commit51dac66e378c0c5ed79110d7bad3648c321b65c7
treeb9ea976d3f0115cf320c830372571e44b575fca0
parentc55721340ab3f7505a3e0c2e58989cf58b080662
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