Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Wed, 17 Jul 2024 11:02:09 +0000 (13:02 +0200)
committerMatthias Klose <doko@ubuntu.com>
Wed, 17 Jul 2024 11:02:09 +0000 (13:02 +0200)
commitdf91dfcddd8b093831df3565bdb479611d37155c
tree6719e3df1d01c0e3722ebe4b4919bbc028fc00de
parent7e87f609b6b16a5e7b14e2a4705e06c9756de2e9
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