]> git.openstreetmap.org Git - rails.git/commitdiff
Merge pull request #5034 from grischard/patch-4
authorAndy Allan <git@gravitystorm.co.uk>
Wed, 28 Aug 2024 13:55:36 +0000 (14:55 +0100)
committerGitHub <noreply@github.com>
Wed, 28 Aug 2024 13:55:36 +0000 (14:55 +0100)
Add planet link and explanation to robots.txt


Trivial merge