Re: A whole lotta auto-saving going

[Lars Ingebrigtsen]

Stefan Monnier <monnier@iro.umontreal.ca> writes:

> So unless there's any objection I plan to push the patch below in the
> coming days,

Thanks; I see that it's pushed, and I'm running with it now, and it
seems to fix the problem here, too.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no