Subject: Re: bug#31541: eintr.info - roman numeral page numbering for Preface section in PDF

From: Eli Zaretskii <[email-masked]>
Date: Tue, 22 May 2018 20:04:13 +0300

> From: Van L <[email-masked]>
> Date: Tue, 22 May 2018 12:55:10 +1000
> Cc: [email-masked]
> 
> At issue is the comment which does not match the result produced in the PDF for page numbering lettering.

OK, I clarified in the comments what is that all about, and I'm
closing this bug report.

Thanks.