Merge branch 'master' into next
commitd0de8ce070028b65af2c2c6934ca1672d5929818
authorJunio C Hamano <gitster@pobox.com>
Sat, 31 Mar 2012 03:26:05 +0000 (30 20:26 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 31 Mar 2012 03:26:05 +0000 (30 20:26 -0700)
tree46f1951b69c8ea7662e159c05068e9e9a30c3b4b
parent44a73f2daecbc99b08c351c3fe99d08a382fe063
parent19a6cd372a998df3079d870e02c064c5bb101841
Merge branch 'master' into next

* master:
  string-list: document that string_list_insert() inserts unique strings