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