Skip to content

Renamed UnhandledDestinationException to UnhandledNavigationException.#402

Merged
EranBoudjnah merged 5 commits intomasterfrom
rename_exception_for_consistency
Apr 13, 2025
Merged

Renamed UnhandledDestinationException to UnhandledNavigationException.#402
EranBoudjnah merged 5 commits intomasterfrom
rename_exception_for_consistency

Conversation

@EranBoudjnah
Copy link
Copy Markdown
Owner

No description provided.

@EranBoudjnah EranBoudjnah enabled auto-merge (squash) April 12, 2025 12:23
@EranBoudjnah EranBoudjnah merged commit 43030a0 into master Apr 13, 2025
4 checks passed
@EranBoudjnah EranBoudjnah deleted the rename_exception_for_consistency branch April 13, 2025 09:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant