On Wed, 25 Aug 2021 10:03:02 GMT, Albert Mingkun Yang <ayang at openjdk.org> wrote: > Simple change of adding some documentation. Looks good. ------------- Marked as reviewed by kbarrett (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/5247