On Tue, 17 Nov 2020 21:59:04 GMT, Jim Laskey <jlas...@openjdk.org> wrote:
>>> my local branch seems to have the right sources for doc >> >> Maybe, but your branch on GitHub does not. > > @kevinrushforth What is the recommended approach to remove the doc > edit/commit? javadoc can be found at http://cr.openjdk.java.net/~jlaskey/prng/doc/api/java.base/java/util/random/package-summary.html ------------- PR: https://git.openjdk.java.net/jdk/pull/1273