Closed ekr closed 6 years ago
This PR cleans up fallout from PR#167 and PR#170. Specifically:
In future, it would help if we were more careful
On the topic of CI, there's no reason we can't write a shell script to test these programs. It just needs doing.
This PR cleans up fallout from PR#167 and PR#170. Specifically:
In future, it would help if we were more careful