Integrated: 8268138: docs build error after JDK-8263332 integration

[Erik Gahlin]

On Wed, 2 Jun 2021 19:16:31 GMT, Erik Gahlin <egahlin at openjdk.org> wrote:

> Hi,
> 
> Could I have a review of a fix that takes care of a couple of Javadoc issues.
> 
> Testing: make docs locally.
> 
> Thanks
> Erik

This pull request has now been integrated.

Changeset: 375f8f3b
Author:    Erik Gahlin <egahlin at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/375f8f3bffa7bc68a4c355195caa9d633d1cf120
Stats:     2 lines in 2 files changed: 0 ins; 0 del; 2 mod

8268138: docs build error after JDK-8263332 integration

Reviewed-by: mgronlun

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

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