Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Wed, 23 Apr 2025 23:57:46 +0000 (01:57 +0200)
committerMatthias Klose <doko@ubuntu.com>
Wed, 23 Apr 2025 23:57:46 +0000 (01:57 +0200)
commitad3b46b868d50b81e92396b58d52cb2cf6962083
treef9246a5791bcb7562e1cf0a117868913bdf64ead
parent5a1e6dd1e3689149f31c8d6bddc9029c9ab0fe3c
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