id	summary	status	owner	type	priority	milestone
1138	Timeout of Servermap Update	new	nobody	defect	major	soon
1352	zsh (and maybe other shells) completion	new		enhancement	major	undecided