On Thu, Nov 24, 2011 at 03:48:06PM +0000, Richard Sandiford wrote:
> from Jakub's 2010-10-12 commit.  OK for both?

Yes.

        Jakub

Reply via email to