A Thursday 05 June 2008 20:24:52, Daniel Jacobowitz wrote:

> This is now the only caller of remote_resume_1, you can just combine
> the two functions.

I had left it on purpose, since remote_resume had two exit
points, but this is as good I guess.

Checked in as attached.

Thanks you.  Thanks Eli.

-- 
Pedro Alves