On Thu, 23 Dec 2021 10:03:54 GMT, Kevin Walls <kev...@openjdk.org> wrote:
>> Chris Plummer has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Fix minor typo > > src/jdk.hotspot.agent/doc/index.html line 51: > >> 49: <p> >> 50: When a core dump is moved from the machine where it was produced to a >> 51: difference machine, it may not always be possible for SA to debug it. > > "difference machine" rather than "different machine " is not your typo but if > you had time while we are here... 8-) Done. ------------- PR: https://git.openjdk.java.net/jdk/pull/6924
