[sr-dev] git:3.1: ChangeLog: updated for version 3.1.2