Update notes for submitted changes

* Merge branch 'stable-5.2' into stable-5.3

c5/c1bbbe49313ee1e6ada9c0b7bfc02d27bcf5cd

@@ -0,0 +1,7 @@
+Verified+1: JGit Bot <jgit-bot@eclipse.org>
+Code-Review+2: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-by: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-at: Thu, 09 Jan 2020 00:50:36 -0500
+Reviewed-on: https://git.eclipse.org/r/155524
+Project: jgit/jgit
+Branch: refs/heads/stable-5.3