merge
Combines the state of several scope managers into this one. Primarily used in combination with concurrent frontends.
Parameters
to
The scope managers to merge into this one
Combines the state of several scope managers into this one. Primarily used in combination with concurrent frontends.
The scope managers to merge into this one