Andrew's git / gitweb.git / diff
?
Merge branch 'rs/cocci-strbuf-addf-to-addstr'
authorJunio C Hamano <gitster@pobox.com>
Thu, 15 Feb 2018 22:55:44 +0000 (14:55 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 15 Feb 2018 22:55:44 +0000 (14:55 -0800)
* rs/cocci-strbuf-addf-to-addstr:
cocci: simplify check for trivial format strings

1  2 
contrib/coccinelle/strbuf.cocci patch | diff1 | diff2 | blob | history
diff --cc contrib/coccinelle/strbuf.cocci
Simple merge