RFR: More details around the jtreg bug tag [v2]

[Jesper Wilhelmsson]

On Fri, 27 Jan 2023 14:47:30 GMT, Alexey Ivanov <aivanov at openjdk.org> wrote:

>> Jesper Wilhelmsson has updated the pull request incrementally with two additional commits since the last revision:
>> 
>>  - Fixed typo
>>  - Fixed wording.
>
> src/guide/testing-the-jdk.md line 57:
> 
>> 55: ~~~
>> 56: 
>> 57: You can add several bug ids in the same `@bug` tag, separated by a single space. The bug ids listed here should refer to bugs for which this test is verifying the fix. JBS issues that track changes to the test itself are not listed here.
> 
> Is the comma necessary before “separated”?

That's a good question. I'll defer to someone who is native English speaker to determine that.

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

PR: https://git.openjdk.org/guide/pull/96