At 2026-02-04T11:51:26-0600, Dave Kemper wrote:
> On Tue, Feb 3, 2026 at 11:21 AM G. Branden Robinson
> <[email protected]> wrote:
> > 9.  The "symbolchars" file got deleted.  Oddly, I can't find the
> >     commit that did this.  Its contents seem redundant with
> >     "symbol.map", however.
> 
> It appears that commit ec2327b6b deleted it for exactly that reason.

Aha!  Thanks, Dave.  Silly me--I neglected to look for '*' instead of
"symbolchars".  ;-)

Regards,
Branden

Attachment: signature.asc
Description: PGP signature

              • ... G. Branden Robinson
              • ... Deri via GNU roff typesetting system discussion
              • ... G. Branden Robinson
              • ... Deri via GNU roff typesetting system discussion
              • ... G. Branden Robinson
              • ... Deri via GNU roff typesetting system discussion
              • ... G. Branden Robinson
              • ... Deri via GNU roff typesetting system discussion
              • ... Deri via GNU roff typesetting system discussion
              • ... Dave Kemper
              • ... G. Branden Robinson
              • ... G. Branden Robinson
              • ... G. Branden Robinson
              • ... G. Branden Robinson
              • ... Peter Schaffter
  • Re: proposed "headlin... Peter Schaffter

Reply via email to