Skip to content
  • Mathieu Tillet's avatar
    Remove need for the workspace to be passed · 461df748
    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