On Thu, 2 Mar 2023 23:30:23 GMT, Marius Volkhart <duke at openjdk.org> wrote: > prset -> preset Hi @MariusVolkhart! Please type /integrate in a new comment to integrate your PR. ------------- PR Comment: https://git.openjdk.org/jmc/pull/474#issuecomment-1581690428