Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Sat, 29 Jun 2024 07:05:11 +0000 (09:05 +0200)
committerMatthias Klose <doko@ubuntu.com>
Sat, 29 Jun 2024 07:05:11 +0000 (09:05 +0200)
commit4852d42969d79c6a9066f0fefb9c8c5a8883fa32
treed38af8141f90a8db1839ee2d873fee7346ebaf1e
parent5f05249c50d310abce940cefcce7f1ca441dc0c8
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