Delete/move branch df-public #85
Description
It seems the commit from the branch df-public (https://github.com/seL4/seL4_libs/tree/df-public) has been merged at 7501c84, so the branch should be moved there or deleted.
{{ message }}
It seems the commit from the branch df-public (https://github.com/seL4/seL4_libs/tree/df-public) has been merged at 7501c84, so the branch should be moved there or deleted.