RFR: 8189669: Deduplicate VerifyOption documentation

Mon May 23 08:29:58 UTC 2022

On Sat, 21 May 2022 04:01:55 GMT, Kim Barrett <kbarrett at openjdk.org> wrote:

>> Hi all,
>> 
>>   can I have quick reviews for this trivial? change that deduplicates some documentation?
>> 
>> Testing: local compilation
>> 
>> Thanks,
>>   Thomas
>
> Looks good, and trivial.

Thanks @kimbarrett for your reviews

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

PR: https://git.openjdk.java.net/jdk/pull/8809