Skip to content

Descent: strengthen OO_cancelL_conn_map ("if" dir of CORS 2.31)#2372

Open
jdchristensen wants to merge 1 commit into
HoTT:masterfrom
jdchristensen:cors-2.31
Open

Descent: strengthen OO_cancelL_conn_map ("if" dir of CORS 2.31)#2372
jdchristensen wants to merge 1 commit into
HoTT:masterfrom
jdchristensen:cors-2.31

Descent: strengthen OO_cancelL_conn_map ("if" dir of CORS 2.31)

d7e747e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view