Andrew's git / gitweb.git / diff
?
Merge branch 'es/sh-i18n-envsubst'
authorJunio C Hamano <gitster@pobox.com>
Fri, 21 Mar 2014 19:50:39 +0000 (12:50 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 21 Mar 2014 19:50:39 +0000 (12:50 -0700)
* es/sh-i18n-envsubst:
sh-i18n--envsubst: retire unused string_list_member()

Trivial merge