Skip to content
This repository has been archived by the owner on Jul 26, 2024. It is now read-only.

Update for the 2002.0320 rover runtime #15

Merged
merged 4 commits into from
Feb 10, 2020
Merged

Update for the 2002.0320 rover runtime #15

merged 4 commits into from
Feb 10, 2020

Conversation

LaurentLesle
Copy link
Contributor

Closing #12

@LaurentLesle LaurentLesle requested a review from arnaudlh February 3, 2020 22:55
@arnaudlh arnaudlh added the enhancement New feature or request label Feb 4, 2020
@arnaudlh arnaudlh added this to the 2002 milestone Feb 4, 2020
arnaudlh
arnaudlh approved these changes Feb 4, 2020
View reviewed changes
Copy link
Member

@arnaudlh arnaudlh left a comment

Choose a reason for hiding this comment

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

LGTM

@arnaudlh arnaudlh mentioned this pull request Feb 4, 2020
Closed
@arnaudlh arnaudlh merged commit f3097f0 into master Feb 10, 2020
@arnaudlh arnaudlh deleted the 2002.0320 branch February 10, 2020 04:08
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@arnaudlh arnaudlh arnaudlh approved these changes

Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
2002
Development

Successfully merging this pull request may close these issues.
2 participants
@LaurentLesle @arnaudlh