• Raphael Rieu-Helft's avatar
    Fix #119 · 7cb941ba
    Raphael Rieu-Helft authored
    Nodes that are detached now keep their former obsolete status
    7cb941ba
session_itp.ml 64 KB