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

>> Thanks.
>>
>> Elijah, would you like to update your patch as suggested by Stefan
>> above?
>
> Actually, I now see that the two calls can never happen at the same
> time, so there's no change necessary.

Anyways I'm sending here an updated version of the patch with Eli's
suggestions