j
k
j a
j l
On Thu, Jul 16, 2020 at 08:34:25PM -0500, Esme Povirk (they/them) wrote:
I think this will just add more confusion, if playback is fixed to handle missing fonts.
Very good point. It's probably best to just disregard this patch.
Back to the thread
Back to the list