Skip to content

A case's head is read from the held-out home, pinned by the case, and held to its tree (#611, record NNNN) - #662

Open
don-petry wants to merge 11 commits into
mainfrom
eval/heads-home-611
Open

A case's head is read from the held-out home, pinned by the case, and held to its tree (#611, record NNNN)#662
don-petry wants to merge 11 commits into
mainfrom
eval/heads-home-611

What Muse's read of the heads found: both pins held by counter-exampl…

b94aeac
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar