Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
subrepo: subdir: "sel4_ipc" merged: "ec643bb" upstream: origin: "[email protected]:reL4team2/sel4_ipc.git" branch: "master" commit: "87c9380" git-subrepo: version: "0.4.9" origin: "https://github.com/ingydotnet/git-subrepo" commit: "cce3d93"
- Loading branch information