## 0.7.12

No user-facing changes.