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.

-- 
Steve

Reply via email to