search

CTSRD-CHERI / cheribsd-ports

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

Merge through September 23, 2022 #54

Closed kwitaszczyk closed 1 year ago

kwitaszczyk commented 1 year ago

Merged through September 23, 2022

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

[1] https://github.com/freebsd/freebsd-ports/commit/7d2af591ecc04e2e1e32c1a6ff342ae606e2a853