Custom Query (1 match)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Milestone Priority
#364 Unify proof-query-identifier and pg-identifier-near-point-query (cleanup) accepted David Aspinall task PG-Emacs-4.3 trivial
Note: See TracQuery for help on using queries.