Withdrawn: 7903011: Small tweaks to jtreg plugin documentation

[duke]

On Tue, 10 Aug 2021 09:06:52 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> I fixed a couple of hiccups in the toplevel and plugin-level README (the issues are described in JBS).
> 
> The updated version of the document can be seen by visiting this branch:
> 
> https://github.com/mcimadamore/jtreg/tree/fix_readme

This pull request has been closed without being integrated.

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

PR: https://git.openjdk.org/jtreg/pull/24