Version bump (1.9.23).