Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Wed, 16 Oct 2024 08:41:47 +0000 (10:41 +0200)
committerMatthias Klose <doko@ubuntu.com>
Wed, 16 Oct 2024 08:41:47 +0000 (10:41 +0200)
commitf3938bd5b9ab4757099356a9bd6c3dd55fbe6a90
tree437fd2d089566ec2da7f22de0b4d4e92d89d576a
parentf7a3b9f72fbb6825c82a8f85a73a148b3a9a848c
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