Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Sat, 16 Sep 2023 11:35:34 +0000 (12:35 +0100)
committerMatthias Klose <doko@ubuntu.com>
Sat, 16 Sep 2023 11:35:34 +0000 (12:35 +0100)
commit12fb65192da455918cf442b72989057240415df2
treea80638a7558693a0236f1575c29ec27dace0e1ab
parent3dfc8749827028773f7342a41eb1fce3337bddd5
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