Update spec and version; 3.1.2