id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
708	Dijkstra no_init version should not require VertexListGraph	Douglas Gregor	Jeremiah Willcock	"{{{
The no_init version of Dijkstra's algorithm should not require a 
VertexListGraph. Right now, the only reason we need VertexListGraph is 
to make the relaxed heap work properly. Fix it!
}}}"	Bugs	closed		graph	None	Problem	fixed