The crash that appeared after undoing the deletion of a branch *might*
be fixed.