Merge branch 'jk/execv-dashed-external' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 2 Feb 2017 21:20:29 +0000 (13:20 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 2 Feb 2017 21:20:29 +0000 (13:20 -0800)
commit5816d3c...fbfbeb5d173114ed08ab5c04c63207a6
tree9dd715c...97d94c144e10bd7aef47d69eedf668c2copy hash to clipboard (tree)
parentb32fe95...d0d8d601e2dc915d96e14d8bbdda6b71copy hash to clipboard (diff)
parent46df690...f3aaf74dafe2026b028c8c5c1a0d5f58copy hash to clipboard (diff)