[ros-diffs] [weiden] 18254: fixed a memory leak in RegDeleteTree() that could be caused when two threads attempt to delete the same tree simultaneously