scope: disallow copying scopes to prevent double close of scopes#565
Closed
legendecas wants to merge 1 commit into
Closed
scope: disallow copying scopes to prevent double close of scopes#565legendecas wants to merge 1 commit into
legendecas wants to merge 1 commit into
