Build #415:   bump to 3.1.2 on branch master 17 days ago