Merge branch 'msammler/list_to_map_app' into 'master'
Passed
Robbert Krebbers
created pipeline for commit
c6aa1f5f
, finished
For master
9 minutes 5 seconds, queued for 3 seconds