Merge branch 'jk/push-client-deadlock-fix'
authorJunio C Hamano <gitster@pobox.com>
Wed, 18 May 2016 22:11:46 +0000 (15:11 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 18 May 2016 22:11:46 +0000 (15:11 -0700)
commitb153d2a...9206f752dd383c7bc30a5ab246ee5bcc
tree042610d...966e3eaaad3f7f61bd4ffd96e3004a16copy hash to clipboard (tree)
parent1f66975...eb8402131fbf7c14330d0c7cdebaeaa2copy hash to clipboard (diff)
parented84387...6bfe271e9c1edd277bb6fad54c6a6f0bcopy hash to clipboard (diff)
compat/mingw.h
compat/win32/pthread.h