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!

Reply via email to