Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Sun, 22 Sep 2024 12:49:33 +0000 (14:49 +0200)
committerMatthias Klose <doko@ubuntu.com>
Sun, 22 Sep 2024 12:49:33 +0000 (14:49 +0200)
commitbcce2f9680d58158a33c6585af150451e99c4c6d
treeee781b93419026819cd3293d538471b6cbb4b160
parent89492bc7b2836f8c71bb44e79d8a35dc5effef82
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