On Thu, 2013-08-01 at 10:58 -1000, Richard Henderson wrote:
[...]
> Ok.
Thanks; committed to svn trunk as r201681 (having rebootstrap and
tested).

Reply via email to