join default_tree_scope only when a limit_depth is given#440

kakubin wants to merge 1 commit intoClosureTree:masterClosureTree/closure_tree:masterfrom

kakubin:not_join_default_scopekakubin/closure_tree:not_join_default_scopeCopy head branch name to clipboard