On Thu, 2013-08-01 at 10:48 -1000, Richard Henderson wrote:
[...]
> Ok.

Thanks; committed to trunk as r201680 (having rebootstrapped and tested)


Reply via email to