16 Jun
2016
16 Jun
'16
1:42 p.m.
On Thu, 9 Jun 2016 10:43:50, Christoph Reller
...
Hence, the check mark cannot be copy pasted from the PDF.
I fear this may be a bug. Or am I missing something? Any feedback is welcome.
Thank you very much for having fixed this issue, Hans! Cheers, Christoph