search

CTSRD-CHERI / cheribsd-ports

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

Updated port with fixes from ctsrd-cheri/libxml2. #72

Closed gcjenkinson closed 1 year ago

gcjenkinson commented 1 year ago

The patches are taken from the merge requests to the libxml2 upstream:

https://gitlab.gnome.org/GNOME/libxml2/-/merge_requests/200

https://gitlab.gnome.org/GNOME/libxml2/-/merge_requests/202

Closes #70

kwitaszczyk commented 1 year ago

Thanks! I'll publish a new package once we rebuild all packages again.