Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Fri, 20 Dec 2024 10:09:22 +0000 (11:09 +0100)
committerMatthias Klose <doko@ubuntu.com>
Fri, 20 Dec 2024 10:09:22 +0000 (11:09 +0100)
commit2456480bfac26a8893e6b304c468f684a96b62c5
treeb663a379a56f934a6e1ff7fe74314fb33420eb86
parent062b0dea504c4fc434c5cab41e6c0e873cf458dd
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