search

CTSRD-CHERI / cheribsd-ports

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

Merge through August 11, 2022 #47

Closed kwitaszczyk closed 2 years ago

kwitaszczyk commented 2 years ago

Merged through August 11, 2022

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

Additional changes due to conflicts:

[1] https://github.com/freebsd/freebsd-ports/tree/f515b0e657e7bd11d88725e9bc3cb1ccb3706baa