Skip to content

Remove unneeded Option map in PyMultiHostUrl.build#1643

Merged
davidhewitt merged 2 commits intomainfrom
linting-fix-url-host
Feb 24, 2025
Merged

Remove unneeded `Option` map in `PyMultiHostUrl.build`#1643
davidhewitt merged 2 commits intomainfrom
linting-fix-url-host

Commits

Commits on Feb 24, 2025