On 14.09.20 20:51, Cesar Soares Lucas wrote: > AFAIU, now that Openjdk moved to GitHub I should proceed to opening a > Pull Request there instead of updating the Webrev, right? Yes, please open a PR for this. Best regards, Tobias