Commit b0b60193 authored by Robbert's avatar Robbert

Merge branch 'add-union-fmap' into 'master'

Add map_fmap_union for FinMap

See merge request !194
parents c6e5d0be 462c06f7
Pipeline #36109 passed with stage
in 10 minutes and 17 seconds