Skip to content

dijkstra: minor clean up

See commit messages for details.

Merge request reports