Ok, I messed up, and I pushed out an earlier version tagged as v0.9.1. I
then fixed something, and retagged the fixed tree as v0.9.1 again.
If you got the wrong tag, and want the new one, please delete
the old one and fetch the new one by doing:
git tag -d v0.9.1
git fetch origin tag v0.9.1
to get my updated tag.
You can test which tag you have by doing
git rev-parse v0.9.1
which should return 03054a5be81928afaacd16b5ef5d4067f7ecc69a if you have
the new version.
Sorry for inconvenience.
JD