5 Apr
2020
5 Apr
'20
12:46 p.m.
On Sun, Apr 5, 2020 at 12:35 PM Hans Hagen
adding an extra return value is no big deal but we can't predict incompatibilities (and we're not assumed to introduce these)
no modification, in case we will add pdfe.getpdfstring and mark getstring as deprecated. -- luigi