CTSRD-CHERI / cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.
https://CheriBSD.org
Other
5 stars 11 forks source link

Merge through August 26, 2022 #51

Closed kwitaszczyk closed 2 years ago

kwitaszczyk commented 2 years ago

Merged through August 26, 2022

freebsd/freebsd-ports up to 7861d77 [1] was merged.

Additional changes due to conflicts:

[1] https://github.com/freebsd/freebsd-ports/commit/7861d772201100fb7824fd98cfda05a068cd30b0