On Jan 30, 2020, at 19:28, David Kastrup <d...@gnu.org> wrote:
> 
> It's conceivable that the code was dead afterwards.  I am not sure.

Seems likely to me.
https://codereview.appspot.com/557260047/
— 
Dan


Reply via email to