Insights: seL4/docs
Overview
-
- 2 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 0 New issues
Could not load contribution data
Please try again later
2 Pull requests merged by 1 person
-
github: fetch history for page modification dates
#197 merged
Sep 1, 2023 -
update committers list
#194 merged
Aug 31, 2023
1 Issue closed by 1 person
-
displayed page modification date incorrect
#196 closed
Sep 1, 2023