Accepting wildcards cut 3: name the two wet-step exit gates - #13411

Accepting wildcards cut 3: name the two wet-step exit gates#13411

gunbai-bot[bot] wants to merge 5 commits into

accepting-wildcards-2gunb-ai/gunbc:accepting-wildcards-2from

accepting-wildcards-3gunb-ai/gunbc:accepting-wildcards-3Copy head branch name to clipboard