This is a dummy tag so that `git describe` no longer shows everything
relative to v0.9.0rc2 just because that was the last version to be tagged
on master instead of on a branch.