amolenaar opened this issue 6 years ago · 1 comments
It's used only in one place. We may as well get rid of it.
Fixed by #53.