2 Jan
2023
2 Jan
'23
8:34 a.m.
On Mon Jan 2 08:34:49 2023 +0000, Hugh McMaster wrote:
Thanks, @epo. I'd only considered new prefixes, but modifying the console font in an existing prefix could change the font family, so we should handle that case too. I've updated the patch.
looks good to me.