Skip to content
Snippets Groups Projects
Commit df64edb2 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Merge branch 'robbert/fmap_empty' into 'master' 

Remove duplicate `map_fmap_empty` of `fmap_empty`, and rename...

See merge request !205
parents 794f33f6 46b16f58
No related branches found
No related tags found
1 merge request!205Remove duplicate `map_fmap_empty` of `fmap_empty`, and rename...
Pipeline #40168 passed
Stage: build
    Status
    Pipeline
    Created by
    Stages
    		Actions
    Passed

    00:09:01

    avatar
    Stage: build

      No artifacts found