Skip to content

Avoid doubled border for the PR info segment#30663

Merged
wxiaoguang merged 2 commits intogo-gitea:mainfrom wxiaoguang:fix-pr-borderApr 23, 2024