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

Wed Apr 7 16:43:50 UTC 2021

On Sat, 27 Mar 2021 09:48:09 GMT, Michael S. <github.com+29914148+docwarems at openjdk.org> wrote:

> 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.

 When the PR is integrated all commits will be squashed, so you don't really need to do anything particular here.

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

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