https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=263456
--- Comment #19 from [email protected] --- A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=8c772d8e053eaca59a6095013d31e30959d13b38 commit 8c772d8e053eaca59a6095013d31e30959d13b38 Author: Gleb Popov <[email protected]> AuthorDate: 2022-12-17 17:18:10 +0000 Commit: Gleb Popov <[email protected]> CommitDate: 2022-12-17 17:18:31 +0000 security/klee: Switch to LLVM 13. PR: 263456 security/klee/Makefile | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) -- You are receiving this mail because: You are on the CC list for the bug.
