Skip to content

Revert "Merge pull request #8072 from rizlik/github-fix" #2492

Revert "Merge pull request #8072 from rizlik/github-fix"

Revert "Merge pull request #8072 from rizlik/github-fix" #2492

make user_setting.h (with sed) (ubuntu-latest)

succeeded Oct 23, 2024 in 2m 54s