Bump version: 0.7.12 → 0.7.13
tidy