Hello!

Neil Jerram <[email protected]> writes:

> Here is a proposed patch for branch_release-1-8.

At first sight this looks good to me.

Thanks!

Ludo'.



Reply via email to