{8} Active Tickets, Mine first (1 match)

  • List all active tickets by priority.
  • Show all tickets owned by the logged in user in a group first.

Active Tickets (1 match)

Ticket Summary Component Version Milestone Type Owner Status Created
#1 Lifting doesn't introduce capabilities. SystemF2Effect lemma benl new Jan 28, 2013
Note: See TracReports for help on using and creating reports.