Paul Barker 4cff21e243 linux-raspberrypi-dev: Switch to rpi-4.12.y
Linux v4.12 is now released.

Signed-off-by: Paul Barker <pbarker@toganlabs.com>
2017-07-05 15:45:33 +01:00
..