Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Wed, 18 Oct 2023 07:07:04 +0000 (08:07 +0100)
committerMatthias Klose <doko@ubuntu.com>
Wed, 18 Oct 2023 07:07:04 +0000 (08:07 +0100)
commitb3fec0354499b7adb04fe81ccbc02e841bc0d0c9
tree33c58ee059deb81658201980f20b668fac6d99fc
parenta8d5600231ad0ebae5e9b66a34dbe98621046f32
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