Merge branch 'jk/prune-optim'
authorJunio C Hamano <gitster@pobox.com>
Wed, 8 May 2019 15:37:27 +0000 (00:37 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 8 May 2019 15:37:27 +0000 (00:37 +0900)
commitd1311be...8ee22802a30279c11cf5cce936c5c353
treeddfd825...bcf7b61d656a572240db97037bb36233copy hash to clipboard (tree)
parentcaa227f...458f34155ef4e974ba9e57c857c02c01copy hash to clipboard (diff)
parentfe6f2b0...1fea2d1da16895102e3c61fc0e1bd733copy hash to clipboard (diff)