Personal fork of https://nest.pijul.com/pijul/pijul

Fixing a bug in context repairs

When undeleting an edge (mapping DELETED to empty), the target t of the edgemap was not reconnected to its descendants if that edgemap made t alive.

This is wrong: if a vertex v is undeleted but its immediate descendant w is kept deleted, the original deletion also deleted the pseudo-edges from v to its descendants, and v is disconnected, possibly causing conflicts.

Created by  pmeunier  on June 16, 2023
XNY6VDZSCNHSAS53HRVBT5AO7HBMAWPOQX3ORCYPWVWRKA4EXMFQC
Change contents