17 Feb
2023
17 Feb
'23
9:19 p.m.
On Fri, Feb 17, 2023 at 12:42 PM Andrey Semashev via Boost <boost@lists.boost.org> wrote:
"Github flavored markdown" is not tied to GitHub ... It is tied in regards that only GitHub truly knows how to render GitHub Markdown.
Yes this would be a problem. I am assuming that this is not the case but if it is we would make adjustments as needed. Thanks