On Wed, 8 Feb 2023 10:16:12 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Have you seen that notification from the bot? Regardless, the bot might need > to use a better message/format for such communication. No, thanks. I missed that. Accepted now. Great that this got implemented. Would have been even better with asciidoc support 😉 ------------- PR: https://git.openjdk.org/jdk/pull/11701