Merge branch 'rs/cocci' into maint
authorJunio C Hamano <gitster@pobox.com>
Tue, 29 Nov 2016 21:28:00 +0000 (13:28 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 29 Nov 2016 21:28:00 +0000 (13:28 -0800)
commite3c4323...23b59038c354ced895be7d9c2f3bbd4c
treed9cb7f2...0294b7655a0db5160fb2795ebbab8488copy hash to clipboard (tree)
parent91207f3...8460d91c2097e1135ac69fd73f797ff8copy hash to clipboard (diff)
parentc2bb0c1...1e957ec1418fa6013c8c1e3e0ef38afacopy hash to clipboard (diff)