git version 2.4.0
HEAD is now at 114aa68 Do not let a stuck client prevent the server from exiting - give up
114aa6808218c68e69dcd0730d67567fe44681ef