8086tiny (1.25-1) buster; urgency=medium

  * Initial release

 -- Serge Schneider <serge@raspberrypi.org>  Mon, 16 Sep 2019 15:42:15 +0100
