]> git.openstreetmap.org Git - nominatim.git/commit
Merge pull request #2792 from lonvia/new-type-annotations
authorSarah Hoffmann <lonvia@denofr.de>
Tue, 9 Aug 2022 11:52:20 +0000 (13:52 +0200)
committerGitHub <noreply@github.com>
Tue, 9 Aug 2022 11:52:20 +0000 (13:52 +0200)
commit78716ab8b9c7b0a643a8dff6364ddeb1251cdc37
treeea6c29992f723f7c6157ed9d729778c73b5cbe1c
parent196dc2a65901c881537d52468a19a8c0d0357785
parent8d082c13e01f2c271318bb6ccf2a2f8e5000e315
Merge pull request #2792 from lonvia/new-type-annotations

Adapt to new type annotations from typeshed