[aarch64-port-dev ] git: openjdk/aarch64-port: master: 8265483: All-caps “JAVA” in the top navigation bar

[Jonathan Gibbons]

Changeset: 3de0dcba
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2021-04-21 04:36:37 +0000
URL:       https://git.openjdk.java.net/aarch64-port/commit/3de0dcba

8265483: All-caps “JAVA” in the top navigation bar

Reviewed-by: iris, erikj

! make/Docs.gmk