Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Tue, 26 Dec 2023 12:18:48 +0000 (13:18 +0100)
committerMatthias Klose <doko@ubuntu.com>
Tue, 26 Dec 2023 12:18:48 +0000 (13:18 +0100)
commit76768a6c9266b2d7b2fdd05509400d254577ae23
tree1d82a297d696c5bf183779a5fff52bf627508363
parent4e5a04ed75d16eb92067404c4ee75cba66f5795e
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