Clarify platform selection internals in CLI utils#690

viktorking7 wants to merge 1 commit into

zkmopro:mainzkmopro/mopro:mainfrom

viktorking7:patch-1viktorking7/mopro:patch-1Copy head branch name to clipboard