Ah, that explains it. You are even busier than I assumed, with everything we are throwing at you and traveling. OK, I'll proceed with phase 2, and you can commit it when you have some time.
On Thu, Aug 13, 2009 at 3:49 PM, Adam Murdoch <[email protected]> wrote: > > I will. I've been travelling for the last couple of days, so it might take > a while to get to it. You can keep working. I'll just commit the changes up > to your last commit on 11th Aug. You don't need to fork or anything. Just > keep checking in. > > -- John Murph Automated Logic Research Team
