Merge branch 'jk/pager-in-use' into next
authorJunio C Hamano <gitster@pobox.com>
Mon, 27 Mar 2017 18:05:39 +0000 (11:05 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 27 Mar 2017 18:05:39 +0000 (11:05 -0700)
commit513f00702541610e923eae375d6c8483d81b7392
tree4bc156ac228a52a7eb38300ec574779189700c55
parent9f6058007f15e80e9d0f7865cfc3d80772724df3
parentdf2a6e38b7e192c32d1df4b10cc278c2a66fb6a0
Merge branch 'jk/pager-in-use' into next

Code clean-up.

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