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,,