|
| From: | Patrice Dumas |
| Subject: | Re: with HTML output, @minus{} is converted to a hyphen instead of a real minus character |
| Date: | Wed, 12 Oct 2022 22:10:31 +0200 |
On Wed, Oct 12, 2022 at 01:59:12PM +0200, Vincent Lefevre wrote: > > Is it? I cannot see any change in the NEWS file in master. It was actually a change introduced in the 6.7 release. -- Pat
| [Prev in Thread] | Current Thread | [Next in Thread] |