At 2023-04-15T18:21:42-0500, G. Branden Robinson wrote:
> At 2023-04-16T01:08:01+0200, Bruno Haible wrote:
> > Thanks. I had not looked in the PROBLEMS file (partly because
> > I stop reading when I see the word "Ultrix"...).
>
> Yes...the file is not in a helpful order. I think it started out
Deri --
My emails to you are getting bounced so I'm replying to your latest
on the list.
Fixing the pdf outline pagenumbers is great. Very happy about
it. I'll integrate '.pdfpagenumbering' into mom but leave it
undocumented until after you commit.
Cheers.
--
Peter Schaffter
