Closed mcs07 closed 9 years ago
Thanks again for being so on top of this!
@greglandrum can this be merged now that the release is out?
@mcs07 I think it was merged more than a week ago. Is something missing?
The PR was closed, but the changes don't appear merged to me.
Sorry about that. I guess I accidentally closed the PR without merging it. Should be merged now
Also fixes a typo in the URL for the Avalon toolkit.