Skip to content

ci: add mergify#208

Merged
fanatid merged 1 commit intomasterfrom add-mergifyOct 17, 2023

Commits

Commits on Oct 17, 2023