gettext 3.1.2 has been released!!!