Closed snoyberg closed 10 years ago
@ekmett Would it be possible to merge this?
Shipped as 0.14.0.2.
This is that recurring situation where github just didn't notify me about the patch due to too many repos. =/
@ekmett Would it be possible to merge this?