Bump version number to 0.12.4

[2303]