supermin (5.1.17-4+rpi1) stretch-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.

[dgit import unpatched supermin 5.1.17-4+rpi1]

Import supermin_5.1.17-4+rpi1.debian.tar.xz

[dgit import tarball supermin 5.1.17-4+rpi1 supermin_5.1.17-4+rpi1.debian.tar.xz]

Import supermin_5.1.17.orig.tar.gz

[dgit import orig supermin_5.1.17.orig.tar.gz]