0.11 git tags

[Tom Bentley]

I just noticed that although every other release is tagged in git there are
no tags for 0.11.0.0 and 0.11.0.1. Did something go wrong? Please can they
be tagged retrospectively?

Cheers,

Tom