Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Thu, 24 Apr 2025 00:05:43 +0000 (02:05 +0200)
committerMatthias Klose <doko@ubuntu.com>
Thu, 24 Apr 2025 00:05:43 +0000 (02:05 +0200)
commit4ee1f7c45ac06b0aa0db87cf60ed33827f297b78
tree24a9f3462bdcf6744b83358c6cc8cb1c569dd3ce
parenteadaae5a8e62aa0ed396dfe1f6219b8b08244deb
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