Skip to content

Avoid doubled border for the PR info segment#30663

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

Commits

Commits on Apr 23, 2024