News item anchors should be visible when hovering over an issue
gernotheiser opened this issue · comments
... so you don't have to read the source each time you want to reference an item
The seL4.systems website
gernotheiser opened this issue · comments
... so you don't have to read the source each time you want to reference an item