From: Sarah Hoffmann Date: Tue, 9 Aug 2022 11:52:20 +0000 (+0200) Subject: Merge pull request #2792 from lonvia/new-type-annotations X-Git-Tag: v4.2.0~39 X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/78716ab8b9c7b0a643a8dff6364ddeb1251cdc37?hp=-c Merge pull request #2792 from lonvia/new-type-annotations Adapt to new type annotations from typeshed --- 78716ab8b9c7b0a643a8dff6364ddeb1251cdc37