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