My bad. This was meant to HOT mailing list [1]. Sorry. [1]: https://lists.openstreetmap.org/pipermail/hot/2020-December/015409.html
jiri _______________________________________________ talk mailing list [email protected] https://lists.openstreetmap.org/listinfo/talk
