Ralf Wildenhues wrote:
Good point.  It even makes the test source smaller, and much faster.  :)
Here's a new version (also removed the duplicate identical references).
OK to apply?

Yes. Thanks.

Peter


Reply via email to