Skip to content

Fix external/picosat undefined behaviour.#2375

Merged
bapt merged 1 commit intofreebsd:mainfrom
kevemueller:ubsan
Dec 3, 2024

Commits

Commits on Dec 2, 2024