Closed echentw closed 5 years ago
"map" is no longer included in the result-tags div anymore.
Sounds good, has this been committed to master?
@echentw manual edit of your PR does indeed resolve the issue. :+1:
Thanks Eric. This indeed resolves the issue.
"map" is no longer included in the result-tags div anymore.