Merge branch 'jk/pager-in-use'
commit6a5ff7acb5965718cc7016c0ab6c601454fd7cde
authorJunio C Hamano <gitster@pobox.com>
Tue, 28 Mar 2017 21:05:58 +0000 (28 14:05 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 28 Mar 2017 21:05:59 +0000 (28 14:05 -0700)
treea10c6a5a8da9f31572435778cc16d2e383f4dafa
parenta612436f1479b0f7db9a80f9ba34037ab52bfc12
parentdf2a6e38b7e192c32d1df4b10cc278c2a66fb6a0
Merge branch 'jk/pager-in-use'

Code clean-up.

* jk/pager-in-use:
  pager_in_use: use git_env_bool()
pager.c