Skip to content

add gset_to_gmap_to_list

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.

Merge request reports