delete a redundant if

Submitted by Fangrui Song on March 13, 2019, 10:12 a.m.

Details

Reviewer None
Submitted March 13, 2019, 10:12 a.m.
Last Updated March 13, 2019, 9:12 p.m.
Revision 1

Revisions

Patches download mbox

# Name Submitter State
delete a redundant if Fangrui Song New