17 Feb
2023
17 Feb
'23
9:37 p.m.
On Fri, Feb 17, 2023 at 1:22 PM Peter Dimov via Boost
I'm not sure why this maters in this case.
I imagine that we would want to limit ourselves to the subset of GitHub flavored markdown that we can actually render (which might be all of it, or some of it). Thanks