v0.8.0
b3618c7c · Fix a couple of too quickly merged PR’s · Feb 14, 2018