v0.12.5

Uses subtrees to update Q to 0.8.12