Add a repository field.
Update history.md.
Release v0.9.12