build-dev@openjdk.java.net

2020-06-19 Thread Severin Gehwolf
Hi, Could I get a review of this OpenJDK 11 specific patch? This same issue has been solved in OpenJDK 13 and better with JDK-8223319[1] which seems an unrelated issue to the fix of this bug. Also, I have tried applying the JDK 13 patch and it doesn't apply well and would mean some form of rewrite

RFR [15] 8247936: Fix typos in man pages

2020-06-19 Thread Pavel Rappo
Hello, Please review the below change for https://bugs.openjdk.java.net/browse/JDK-8247936 --- diff --git a/closed/src/java.base/share/man/java.md b/closed/src/java.base/share/man/java.md --- a/closed/src/java.base/share/man/java.md +++ b/closed/src/java.base/share/man/java.

Re: RFR [15] 8247936: Fix typos in man pages

2020-06-19 Thread Roger Riggs
Hi Pavel, The changes look fine. I'm not sure only build-dev would be interested in reviewing. But I know many man page reviewers are on build-dev. Thanks, Roger On 6/19/20 10:55 AM, Pavel Rappo wrote: Hello, Please review the below change for https://bugs.openjdk.java.net/browse/JDK-82479

build-dev@openjdk.java.net

2020-06-19 Thread Hohensee, Paul
Makes sense to me: I prefer not changing doc formats, because automated readers can be affected. Reviewed. Thanks Paul On 6/19/20, 6:43 AM, "jdk-updates-dev on behalf of Severin Gehwolf" wrote: Hi, Could I get a review of this OpenJDK 11 specific patch? This same issue has been