Leaflet/Leaflet — pull request #3049 by sharph (2014-11-21 19:10:20+00:00)
Title: Add option autoCollapse to close controls after delay on touch devices

Fixes #2713