Skip to content

Mark Router::add_route as deprecated#367

Merged
jdm merged 4 commits intoservo:mainfrom simonwuelker:typed-route-followupOct 15, 2024

Commits

Commits on Oct 15, 2024