Merge branch 'ds/reachable'
authorJunio C Hamano <gitster@pobox.com>
Tue, 30 Oct 2018 06:43:47 +0000 (15:43 +0900)
committerJunio C Hamano <gitster@pobox.com>
Tue, 30 Oct 2018 06:43:47 +0000 (15:43 +0900)
commitf2d1c83df05e30d7588ba3c28b994d6ebbdbc9b0
tree5193d8f738c7093574ead17044f185495bfbbbd3
parent4c7f5440225aba8f0c7253575e5ffa933a267de7
parent8628ace2691510dc856e2a9c735706fa8f0620e1
Merge branch 'ds/reachable'

Trivial bugfix.

* ds/reachable:
  commit-reach: fix cast in compare_commits_by_gen()
commit-reach.c