On Wed, 2 Dec 2020 10:01:03 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> JDK-8251549 updated doc/building.md for building with git, but did not > include corresponding updates to doc/building.html. Looks good! ------------- Marked as reviewed by shade (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/1557
