Integrated: 8189669: Deduplicate VerifyOption documentation

[Thomas Schatzl]

On Fri, 20 May 2022 13:10:27 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote:

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

This pull request has now been integrated.

Changeset: 414265bd
Author:    Thomas Schatzl <tschatzl at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/414265bd83121774fc392412c1ca18d42a4273a3
Stats:     52 lines in 6 files changed: 8 ins; 39 del; 5 mod

8189669: Deduplicate VerifyOption documentation

Reviewed-by: kbarrett

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

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