crotsos/mirage — comment on commit 35a370c0fcd1db53406c4975d42f26379cda6a17
File:  line 0
By avsm:

how is this the TCP fix? its just removing a printf...