On Mon, 2010-11-15 at 15:46 +0100, Jan Nieuwenhuizen wrote: > I see you added > > +SCM_API int scm_i_terminating; > > I'm regularly building 1.8.7, I'll add your patch and release an > update, would that be okay? That will suffice, thank you. Yaakov