Merge branch 'js/pthread-exit-emu-windows'
commit3978cd06ffcb62ed94e3b3efcc086f8ed623680f
authorJunio C Hamano <gitster@pobox.com>
Fri, 4 Mar 2016 21:46:39 +0000 (4 13:46 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 4 Mar 2016 21:46:39 +0000 (4 13:46 -0800)
tree84d7a024d7d824ac5e4914951074926ce33b3f8c
parentbbe90e7950456bf1bb1ab17a9ee626f6fad7a7c6
parent296d6737331f6287f6be60f6230b51760ed11f98
Merge branch 'js/pthread-exit-emu-windows'

* js/pthread-exit-emu-windows:
  Mark win32's pthread_exit() as NORETURN
compat/win32/pthread.h