R-3.1.2 released.