Andrew's git / gitweb.git / diff
?
Merge branch 'nd/no-more-check-racy'
authorJunio C Hamano <gitster@pobox.com>
Thu, 7 Mar 2019 00:59:59 +0000 (09:59 +0900)
committerJunio C Hamano <gitster@pobox.com>
Thu, 7 Mar 2019 00:59:59 +0000 (09:59 +0900)
Unused code removal.

* nd/no-more-check-racy:
Delete check-racy.c

Trivial merge