K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2019-06-15T20:17:00.362470Z
K 7
svn:log
V 103
Use device_delete_children() instead of a locally-rolled copy of it that
leaks the device-list memory.

END