3.1.0 release (previous 3.0.12) + release notes updated by CI build 4214

[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.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.
+
 #### 3.0.12
  - 2019-09-30 - [3 commits](https://github.com/mockito/mockito/compare/v3.0.11...v3.0.12) by [Szczepan Faber](https://github.com/mockitoguy) (2), [Tim van der Lippe](https://github.com/TimvdLippe) (1) - published to [![Bintray](https://img.shields.io/badge/Bintray-3.0.12-green.svg)](https://bintray.com/mockito/maven/mockito-development/3.0.12)
  - Fixed JUnit Jupiter parallel issue [(#1789)](https://github.com/mockito/mockito/pull/1789)

version.properties

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