Andrew's git / gitweb.git / diff
?
Merge branch 'js/pthread-exit-emu-windows'
authorJunio C Hamano <gitster@pobox.com>
Fri, 4 Mar 2016 21:46:39 +0000 (13:46 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 4 Mar 2016 21:46:39 +0000 (13:46 -0800)
* js/pthread-exit-emu-windows:
Mark win32's pthread_exit() as NORETURN

No differences found