[Merged by Bors] - fix: update scripts/rm_set_option.py to ignore more comments
#68635
| Job | Run time |
|---|---|
| -1s | |
| -1s |
scripts/rm_set_option.py to ignore more comments
#68635
| Job | Run time |
|---|---|
| -1s | |
| -1s |