---
fixes:
  - Fix bug 1537986 which corrects the pagination in the mysql user
    list command. When internal users (ignore_users) are eliminated
    from the list, the pagination was not correctly handled.