On Tue, 20 May 2025 16:03:14 GMT, cagliostro92 <d...@openjdk.org> wrote:
> Trivial PR to enhance Javadoc for the `Properties#list` method, which has > cost me some debugging time. This pull request has now been integrated. Changeset: 03e9ea16 Author: Edoardo Patti <edoardopatt...@gmail.com> Committer: Justin Lu <j...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/03e9ea169b7e45ae3c2ac23b5fe73d39ae57506f Stats: 7 lines in 1 file changed: 0 ins; 0 del; 7 mod 8358530: Properties#list should warn against non-String values Reviewed-by: jlu, liach ------------- PR: https://git.openjdk.org/jdk/pull/25334
