[sr-dev] git:3.1: Makefile: version set to 3.1.2