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

Reply via email to