3.1.1 release (previous 3.1.0) + release notes updated by CI build 4216

[ci skip-release]

doc/release-notes/official.md

@@ -1,5 +1,9 @@
 <sup><sup>*Release notes were automatically generated by [Shipkit](http://shipkit.org/)*</sup></sup>
 
+#### 3.1.1
+ - 2019-10-01 - [1 commit](https://github.com/mockito/mockito/compare/v3.1.0...v3.1.1) by [Michael Keppler](https://github.com/Bananeweizen) - published to [![Bintray](https://img.shields.io/badge/Bintray-3.1.1-green.svg)](https://bintray.com/mockito/maven/mockito-development/3.1.1)
+ - Fix grammar [(#1792)](https://github.com/mockito/mockito/pull/1792)
+
 #### 3.1.0
  - 2019-10-01 - [1 commit](https://github.com/mockito/mockito/compare/v3.0.12...v3.1.0) by [Tim van der Lippe](https://github.com/TimvdLippe) - published to [![Bintray](https://img.shields.io/badge/Bintray-3.1.0-green.svg)](https://bintray.com/mockito/maven/mockito/3.1.0)
  - No pull requests referenced in commit messages.

version.properties

@@ -1,5 +1,5 @@
 #Currently building Mockito version
-version=3.1.1
+version=3.1.2
 
 #Previous version used to generate release notes delta
-previousVersion=3.1.0
+previousVersion=3.1.1