On 04/27/2012 12:26 PM, Richard Henderson wrote:
I think the library is ready for merge back to mainline, but
I will wait until at least Monday for feedback and proximity
to my desk to deal with potential fallout.

Now committed.


r~

Reply via email to