Daniel Martí 9fc58ab22c Merge branch 'stable-v0.95' into 'stable-v0.95'
Hotfixes for 0.95.1

These fixes are rather simple, but just to be sure.

I'll release and push 0.95.1 once these are merged. I don't think any other important fixes need to make it into that release.

Ping @pserwylo @eighthave

See merge request !115
2015-08-09 18:53:35 +00:00
..