Friday, July 17: 0 trees grew

Every public tree that got a new branch on this day, grouped by topic.