Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There's been a couple of bugfixes to 0.12 which I think warrant a patch release before we start merging any new / breaking changes on the way to 0.13.
I'd like to publish this tomorrow evening (16th Sep). We can always make further patch releases if necessary (hopefully not).
I think it would be nice if a bugfix for #1185 was also included in this release. @kngwyu, I'm not sure if you're already working on one, I'll have a go at writing a fix tomorrow evening if I don't hear a reason not to.