Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fails in CI, not locally. The failure is a SyntaxError in Docopt 0.6.2: docopt/docopt#435 But no Docopt release has been made since 2014, so we need to replace it to fix this.
- Loading branch information