On Thu, 10 Apr 2025 21:50:10 GMT, Alexey Semenyuk <[email protected]> wrote:
> Escape the dollar sign. Meanwhile, I fixed a case of missing escape backslash in the following paragraph. I verified that it is rendered properly in raw markdown and in pandoc output. ------------- PR Comment: https://git.openjdk.org/jdk/pull/24585#issuecomment-2796924054
