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)
commit8e777af273dd76c9140f6d8bf24a09e26a89f4c5
treec6b1fc245007c144d51076f6f34aec370f9bfb63
parentf40e83d68537cd3e3eb9d94e2c7001fb3f54b67d
parentb4f61b7fa455b6bea2a12d46c59d8685f761018b
Merge branch 'bp/fsmonitor'

Test fix.

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