On Fri, 9 Oct 2026 04:37:45 GMT, Serguei Spitsyn <[email protected]> wrote:
>> Hannes Wallnöfer has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Use same dark theme colors as API docs > > I'm curious about update in the file `make/Docs.gmk`. > Does the related PR https://git.openjdk.org/jdk/pull/33181 depend on these > changes? > Is a merge conflict expected? @sspitsyn yes, the JVMTI PR depends on this. I'll update that other PR and ask for a review for the HTML/CSS changes. ------------- PR Comment: https://git.openjdk.org/jdk/pull/33127#issuecomment-6078311637
