{"number":9,"pull_request":{"title":"Lower default # of open files to 10; LevelDB default of 1k is just too hi","number":9,"commits":2,"deletions":1,"id":347855,"issue_id":1713377,"additions":6},"action":"closed"}