tree 4c8abfb79faea0e80b50a0f6a244855beb6ad82b
parent 43576005dc436d881a69359fb035f674bcaae91b
author David Shah <dave@ds0.me> 1599680313 +0100
committer David Shah <dave@ds0.me> 1599680313 +0100

devices.json: Fix accidentally dropped device

Signed-off-by: David Shah <dave@ds0.me>