On Thu, 24 Oct 2019 at 08:26, Ulrich Windl < Ulrich.Windl@rz.uni-regensburg.de> wrote:
Philip Guenther pguenther@proofpoint.com schrieb am 23.10.2019 um
18:28 in Nachricht alpine.BSO.2.21.1910230926270.77036@morgaine.local:
On Wed, 23 Oct 2019, Quanah Gibson-Mount wrote:
The "–" in the DESC is not the ascii "-" but a Unicode hyphen.
Good spot. I think I also had some fun with a Unicode mathematical minus when being processed in Java, because that glyph has a three-byte encoding in UTF-8. In my case it originated from copy&paste from PDF (where it looked like a normal minus)...
Mine came from using Notepad++ for "beautification" (forced to do so) and saving it from there. I have should known better.