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
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