Context Navigation

Custom Query (1 match)

Filters

	Keywords
	Status	accepted assigned closed new reopened
And		Or

Group results by descending

Show under each result: Description

Max items per page

Ticket	Summary	Status	Keywords	Owner	Type	Priority
#510	coq-time-commands hangs on bullets with Coq-8.5	new	coq-time-commands bullets	David Aspinall	defect	minor

Note: See TracQuery for help on using queries.