Skip to content

Remove obsolete TODO

Elias Pipping requested to merge pipping/dune-common:feature/remove-obsolete-todo into master

The issue mentioned in the TODO was resolved in 0fa536e5.

Merge request reports