Comment by nryoo

Were the withdrawn ones actually Lean-checked or not? seems like that matters