Merge branch 'dp/filter-branch-prune-empty' into maint
authorJunio C Hamano <gitster@pobox.com>
Tue, 28 Mar 2017 20:52:22 +0000 (13:52 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 28 Mar 2017 20:52:22 +0000 (13:52 -0700)
commitbfee58c...a59b2d84431b41052b774f5037cebe21
tree7867ba2...caa9739514956f4b8d3cc502984a7c3ccopy hash to clipboard (tree)
parent2b69d31...6ffb4a800c408b8cb0b508ca1886ea84copy hash to clipboard (diff)
parent32da746...ebc099e6032590773827884b704980cfcopy hash to clipboard (diff)