Add 'Cross-platform' option to OS selection#9956

tredondo wants to merge 1 commit intowarpdotdev:masterwarpdotdev/warp:masterfrom

tredondo:patch-1tredondo/warp:patch-1Copy head branch name to clipboard