Merge version 5.1.19-4+rpi1 and 5.1.20-1 to produce 5.1.20-1+rpi1

diff --cc debian/changelog
index 0e2d88ea72bb4ade17f5eb10e79427035654e855,a35e0223ba0a2146e06dfdba9fb3667ceb7d99de..2bd1fbcfce7ab598a26b85fe0305bd4203a6fe9c
--- 1/debian/changelog
--- 2/debian/changelog
+++ b/debian/changelog
@@@ -1,9 -1,10 +1,17 @@@
- supermin (5.1.19-4+rpi1) buster-staging; urgency=medium
++supermin (5.1.20-1+rpi1) buster-staging; urgency=medium
 +
 +  [changes brought forward from 5.1.11-1+rpi1 by Peter Michael Green <plugwash@raspbian.org> at Fri, 28 Nov 2014 05:45:23 +0000]
 +  * Build-depend on raspbian kernel rather than debian armmp kernel.
 +
-  -- Raspbian forward porter <root@raspbian.org>  Mon, 03 Dec 2018 15:30:28 +0000
++ -- Raspbian forward porter <root@raspbian.org>  Wed, 30 Jan 2019 23:48:06 +0000
++
+ supermin (5.1.20-1) unstable; urgency=medium
+ 
+   * New upstream version 5.1.20
+   * Bump Debhelper compat level
+   * Bump Standards-Version
+ 
+  -- Hilko Bengen <bengen@debian.org>  Mon, 21 Jan 2019 14:09:38 +0100
  
  supermin (5.1.19-4) unstable; urgency=medium
  

diff --cc debian/control
Simple merge