Skip to content

Remove FIXME in `fin_map_dom`.

Robbert Krebbersrequested to merge
robbert/remove_fixme into master

Let's see if CI agrees with me.

Merge request reports