]> git.openstreetmap.org Git - dns.git/commitdiff
Merge pull request #22 from jbelien/patch-1
authorGrant <github@firefishy.com>
Thu, 11 May 2023 18:11:31 +0000 (20:11 +0200)
committerGitHub <noreply@github.com>
Thu, 11 May 2023 18:11:31 +0000 (20:11 +0200)
Update stateofthemap-eu.js


Trivial merge