RFR: 7194 : No local JVMs found message could be more helpful

[Michael S.]

On Fri, 26 Mar 2021 21:37:20 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> Does this render OK in the help browser?

Probably not ;-)

But from my previous comments it could have become obviuos that I wasn't aware of the repo FAQ shown elsewhere. Now that I know that it's parts of the included help, I reverted the commit and added just my new answer.

How will we get rid of the extra commits? Have I to re-push the branch again or is there a squash functionality when the PR will be merged. Sorry, I need help here because it's my first contribution to a GitHub project.

-------------

PR: https://git.openjdk.java.net/jmc/pull/232