Skip to content

Add a pick first rule.#105

Merged
Kudo merged 1 commit intoKudo:mainfrom awesome31:mainMay 18, 2022

Commits

Commits on May 16, 2022