Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Fri, 11 Nov 2022 07:39:25 +0000 (07:39 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Fri, 11 Nov 2022 07:39:25 +0000 (07:39 +0000)
commit65ed273783e1de99dc84af95bb16fddb03db983f
tree67a58edc954c9c4ec0c46e204a2255611d3712de
parent1407c3cde9c0e48461924f326f0cd9e2f00aa477
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