On Thu, 1 Oct 2020 07:49:59 GMT, Prasanta Sadhukhan <psadhukhan at openjdk.org> wrote: > Fixed a typo in the documentation. Marked as reviewed by jdv (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/453