-
Mathieu Tillet authored
The workspace to be added is no longer necessary, because it appears that calling afterReplaceHandle only slows the process while not doing anything noticeable. This commit thus simplify this, and thus quickens the execution of replace_workspace by some 30%.
461df748