Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Wed, 17 Jan 2024 11:09:47 +0000 (12:09 +0100)
committerMatthias Klose <doko@ubuntu.com>
Wed, 17 Jan 2024 11:09:47 +0000 (12:09 +0100)
commitecce653465aa7d13e58576f4c3dafc7b7c3b9a1d
treee417ce88fdf9a7e3a7e1f76da0c0cd26d7c6349d
parent99ccb1923ab94cf5bd9b0a24b44ee301547c230f
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