2970ce8367 ^
1
Add admin APIs to allow server admins to manage users' devices. Contributed by @dklimpel.