Merge branch 'geoip-db-prefix-more' into 'main'
commit18534f9ef2870e9df5261003a0ed38ff80a5aa6c
authorDavid Goulet <dgoulet@torproject.org>
Mon, 17 Jul 2023 16:05:02 +0000 (17 16:05 +0000)
committerDavid Goulet <dgoulet@torproject.org>
Mon, 17 Jul 2023 16:05:02 +0000 (17 16:05 +0000)
treee40541c47d0d8cdf51bb210bea60cb07932854c4
parent22757dbb532a23cc6e3a0121df3f2f5c894c7580
parentf1fced828b7525e4985cebae181a15620f228bfe
Merge branch 'geoip-db-prefix-more' into 'main'

Clarify where geoip-db-tool is.

See merge request tpo/core/tor!728