Markus Armbruster <[email protected]> writes: [...] > A welcome improvement. Further improvement would be using > error_report().
Ah, you did that already in v2. Sorry for the noise!
Markus Armbruster <[email protected]> writes: [...] > A welcome improvement. Further improvement would be using > error_report().
Ah, you did that already in v2. Sorry for the noise!