72d0a5aa
ead7d90e
* commit '72d0a5aa04f18af5037ff331c2f0983f7cbd4331': Fix issue #7408647: Add getUserCount() API