Version bump (1.12.20).