Andrew's git / gitweb.git / diff
?
Merge branch 'bp/fsmonitor'
authorJunio C Hamano <gitster@pobox.com>
Thu, 28 Dec 2017 22:08:48 +0000 (14:08 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 28 Dec 2017 22:08:48 +0000 (14:08 -0800)
Test fix.

* bp/fsmonitor:
p7519: improve check for prerequisite WATCHMAN

Trivial merge