Forgot to push v0.10.2

Let's hope nobody notices :)