![](https://secure.gravatar.com/avatar/13bc5842f0b785acdb8f02c38b78439d.jpg?s=120&d=mm&r=g)
16 Jun
2016
16 Jun
'16
7:42 a.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