Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Navigation mitigation layers #290

Merged
merged 4 commits into from
Apr 21, 2021
Merged

Navigation mitigation layers #290

merged 4 commits into from
Apr 21, 2021

Conversation

IanDavila
Copy link
Contributor

@IanDavila IanDavila commented Apr 20, 2021 •
edited
Loading

Description of what has changed

Added navigator support for mitigations. Updated navigator layer version 4.2.

Issues addressed by pull request

Closes #234

@IanDavila IanDavila requested a review from isaisabel April 20, 2021 14:39
@IanDavila IanDavila changed the title Navigation mitigation layers WIP: Navigation mitigation layers Apr 20, 2021
isaisabel
isaisabel approved these changes Apr 21, 2021
View reviewed changes
Copy link
Contributor

@isaisabel isaisabel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great! The PR is marked WIP: I'm assuming that's now incorrect and it's appropriate to merge?

@IanDavila IanDavila changed the title WIP: Navigation mitigation layers Navigation mitigation layers Apr 21, 2021
@isaisabel isaisabel merged commit 8d428b7 into develop Apr 21, 2021
@jondricek jondricek deleted the feature/#234-mitigation-layers branch April 7, 2022 17:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@isaisabel isaisabel isaisabel approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@IanDavila @isaisabel