mirror of
https://github.com/git/git.git
synced 2026-04-23 00:22:14 +02:00
19a6cd372a
* maint: string-list: document that string_list_insert() inserts unique strings