Skip to content

Switch the default branch from develop to main#755

Merged
xerial merged 2 commits into
mainfrom
master-to-main
Aug 7, 2023
Merged

Switch the default branch from develop to main#755
xerial merged 2 commits into
mainfrom
master-to-main

Revert unnecessary changes

c02b8af
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs