Hi Steve, > On Tue, Jan 07, 2025 at 03:28:31PM +0100, Thomas Koenig wrote: >> Hello world, >> >> the attached patch does what it says in the ChangeLog entry. >> >> Tested with "make dvi" and "make pdf". >> >> OK for trunk? >> > > OK. Committed. Thanks! Best regards Thomas