Closed rkeene closed 4 years ago
This resolves #343
I don't think we should enable it yet - the auto-update infrastructure (either CI/server) still needs to be set up.
This resolves #343