Help: /ticket
the (unofficial) 'Genode Book'
Not logged in
Home
Timeline
Files
Branches
Tags
Tickets
Wiki
Login
Command-List
The "/ticket" page:
This is intended to be the primary "Ticket" page. Render as either ticket-search (if search is enabled) or as the /reportlist page (if ticket search is disabled).