-
Notifications
You must be signed in to change notification settings - Fork 14
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
add signed BM minutes #417
Conversation
Signed-off-by: Birgit Brecknell <b@brck.nl>
Preview your changes here The link checker found some issues!
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good (apart from the links issues), but maybe you can wait to have the (unconfirmed) minutes for the 12th meeting to add. These should be available shortly.
This footer was previously only enabled on the desktop version of the site. Signed-off-by: James Archer <j.archer@unsw.edu.au>
Signed-off-by: James Archer <j.archer@unsw.edu.au>
Signed-off-by: James Archer <j.archer@unsw.edu.au>
* add slides to summit program and abstracts page * add youtube video links to summit program and abstracts page * add news item about videos and slides * remove "latest news" from summit page --------- Signed-off-by: Birgit Brecknell <b@brck.nl>
* change Raytheon logo to RTX Corporation on member's page --------- Signed-off-by: Birgit Brecknell <b@brck.nl>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: Birgit Brecknell <b@brck.nl>
Preview your changes here The link checker found some issues!
|
No description provided.