ops

Changes to List users

get/ops/users

Oct 27, 2026ac6979514123 Revision changes
- info
  api operation id user.listUsers removed and replaced with user#listUsers
Oct 26, 20267ff7ee94b30e Revision changes
- info
  api operation id user#listUsers removed and replaced with user.listUsers
- info
  api tag ops-users added