Skip to content

status: Rename query-booted to is-default#3136

Merged
jlebon merged 1 commit intoostreedev:mainfrom ericcurtin:pr-3134-feedbackJan 9, 2024

Commits

Commits on Jan 9, 2024