hg: jdk/sandbox: 8227613: "draft" header should be in a <header> instead of <div>

chris.hegarty at oracle.com chris.hegarty at oracle.com
Fri Jul 12 18:00:17 UTC 2019


Changeset: 0bf678dd8951
Author:    jjg
Date:      2019-07-12 10:44 -0700
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/0bf678dd8951

8227613: "draft" header should be in a <header> instead of <div>
Reviewed-by: mchung, iris

! make/Docs.gmk



More information about the jdk-sandbox-changes mailing list