Skip to content
Snippets Groups Projects
Commit 8c9dbf5b authored by Christian Engwer's avatar Christian Engwer
Browse files

Merge branch '39-virtualrefinement-s-operator-is-broken' into 'master' 

Resolve "VirtualRefinement's operator= is broken"

Closes #39

See merge request !258
parents 0c2881cf 4440c747
No related branches found
No related tags found
1 merge request!258Resolve "VirtualRefinement's operator= is broken"
Pipeline #75458 failed
Stage: .pre
Stage: test