Merge pull request #265 from mmd-osm/patch/planet_redirect
authorGrant <git@firefishy.com>
Wed, 5 Feb 2020 20:08:10 +0000 (20:08 +0000)
committerGitHub <noreply@github.com>
Wed, 5 Feb 2020 20:08:10 +0000 (20:08 +0000)
Planet redirect: add pbf+full history


Trivial merge