Abella 2.0.1 (bugfix release)
Merge pull request #924 from chaudhuri/abella.2.0.1

Abella 2.0.1 (bugfix release)