• Raphael Rieu-Helft's avatar
    Fix #119 · 8598369d
    Raphael Rieu-Helft authored
    Nodes that are detached now keep their former obsolete status
    
    (cherry picked from commit 7cb941ba)
    8598369d
session_itp.ml 64 KB