Commit ac11219b8014fec1c5a83f1b19cf78015adc856c

Carlos Martín Nieto 2014-05-19T16:54:19

smart: send a flush when we disconnect The git server wants to hear a flush from us when we disconnect, particularly when we want to perform a fetch but are up to date.