seL4_libs icon indicating copy to clipboard operation
seL4_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Delete/move branch df-public

Open axel-h opened this issue 1 year ago • 0 comments

It seems the commit from the branch df-public (https://github.com/seL4/seL4_libs/tree/df-public) has been merged at 7501c848, so the branch should be moved there or deleted.

axel-h avatar Nov 03 '23 13:11 axel-h