Am 16.04.2011 08:34, schrieb Tobias Burnus:

Thus: OK for the trunk?

OK. Thanks for the patch (which, incidentally, also fixes PR 48644).

        Thomas

Reply via email to