Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Sat, 31 Mar 2012 03:25:55 +0000 (20:25 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 31 Mar 2012 03:25:55 +0000 (20:25 -0700)
commit19a6cd372a998df3079d870e02c064c5bb101841
treeea64d8d12431bdfc2636cfe879f66eeaeb19c3a4
parentb3065bdc03dd91561e35f91896aec8c64667d1a9
parentb8939b2b3abaa99c18bf57251cd2828b89ac38c5
Merge branch 'maint'

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