@wf9a5m75
wf9a5m75 Merge pull request #327 from ranma42/patch-2
c0ff40e Jul 28, 2020
Merge pull request #327 from ranma42/patch-2 
Fix `Map.setDiv` with an HTMLElement
c0ff40e