Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Mon, 24 Jul 2023 09:57:34 +0000 (10:57 +0100)
committerMoritz Mühlenhoff <jmm@debian.org>
Mon, 24 Jul 2023 09:57:34 +0000 (10:57 +0100)
commitac24572b32716ede9e9f9ad35a8120dcf49c4e48
treecda05bf96c7b890cb9584dd8e3b69d9fb6fb7d20
parent0bd6f2d88aa2279943e5e46d918bad334d37b0f1
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