Skip to content
Snippets Groups Projects
Commit 95b6b0c0 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'marijnvanwezel/SetUnfoldElemOf_dom_gmultiset' into 'master'

Add `SetUnfoldElemOf` instance of `dom` on `gmultiset`

See merge request !591
parents d2e8771d 713ad87c
No related branches found
No related tags found
1 merge request!591Add `SetUnfoldElemOf` instance of `dom` on `gmultiset`
Pipeline #119351 passed