Bump version: 0.7.19 → 0.7.20