Fix filtering the user list by permission level or status for other languages.#2268

Merged

Alex-Jordan merged 1 commit intoopenwebwork:developfrom drgrice1:userlist-filter-on-translated

Dec 16, 2023

+5-3

Commits on Dec 5, 2023

Fix filtering the user list by permission level or status for other languages.
drgrice1
committed