search

CTSRD-CHERI / cheribsd-ports

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

Merge through September 9, 2022 #52

Closed kwitaszczyk closed 1 year ago

kwitaszczyk commented 1 year ago

Merged through September 9, 2022

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

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