Skip to content

add a message for precondition#11

Open
true-false-maybe wants to merge 1 commit intopatrick-zippenfenig:mainfrom
true-false-maybe:patch-1
Open

add a message for precondition#11
true-false-maybe wants to merge 1 commit intopatrick-zippenfenig:mainfrom
true-false-maybe:patch-1

Commits

Commits on Jul 11, 2025