fix: fix server selection in update-user#14727

Merged

jackivanov merged 2 commits intotrailofbits:masterfrom RochMoreau:fix-update-users-server-select

Jul 18, 2024

+6-8

Commits on Jun 11, 2024

fix: Fix server selection in update-user while preserving nice display of server along with its alt_name in the list
RochMoreau
committed

Commits on Jul 18, 2024

Merge branch 'master' into fix-update-users-server-select
jackivanov
authored