Right, that was the “you can remove it” part.

		steveklabnik on Oct 16, 2020 \| parent \| context \| favorite \| on: Nim 1.4 Right, that was the “you can remove it” part.