Bump version to 7.2.19
Bump version to 7.2.20
Bump version to 7.2.20-dev