Skip to content
GitLab

add gset_to_gmap_to_list

Merged Ralf Jung requested to merge jung/stdpp:gset_to_gmap_to_list into master

This came up while trying to convert an own of a map into a big_sepL of its elements.