On Wed, 20 Jan 2021 13:24:36 GMT, Stanimir Stamenkov <github.com+1247730+stanio at openjdk.org> wrote: > > > Thank you @prsadhuk for reviewing this. Should/could I go with `/integrate` now? yes sure ------------- PR: https://git.openjdk.java.net/jdk/pull/1759