Commit cf7a6e520e9601da9d27bc8f6bbe5d2eff23998d

Behdad Esfahbod 2018-02-23T10:34:26

[hdmx] Move DeviceRecord to toplevel again More readable.