On Fri, 12 Nov 2021 12:25:20 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Please review this simple two-hunk fix to the documentation comment of > java.util.Properties#load(java.io.Reader). The first hunk (line/lines) is a > suggestion. I believe it reads better since the plurality is more idiomatic; > native English speakers should correct me if I'm wrong. The second hunk picks > up what was overlooked in JDK-8274075 > (https://git.openjdk.java.net/jdk/pull/5610). This pull request has now been integrated. Changeset: fdcd16a3 Author: Pavel Rappo <pra...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/fdcd16a38fb9a14a819d68682f9666ebfe7285db Stats: 3 lines in 1 file changed: 0 ins; 0 del; 3 mod 8277048: Tiny improvements to the specification text for java.util.Properties.load Reviewed-by: rriggs, iris, naoto ------------- PR: https://git.openjdk.java.net/jdk/pull/6367