[execpol.type] Drop "see below" from is_execution_policy
#7909
Merged
tkoeppe merged 2 commits intocplusplus:mainfrom Jun 19, 2025
Merged
[execpol.type] Drop "see below" from `is_execution_policy`#7909tkoeppe merged 2 commits intocplusplus:mainfrom
tkoeppe merged 2 commits intocplusplus:mainfrom