Commit 7808c93797b3fa9f552bd2e24672089b8d27ad2a

Patrick Steinhardt 2016-02-22T15:59:15

index: plug memory leak in `read_conflict_names`