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

Feature/restore old rs #385

Merged
merged 2 commits into from
Dec 15, 2022
Merged

Feature/restore old rs #385

merged 2 commits into from
Dec 15, 2022

Conversation

lagartoverde
Copy link
Contributor

@lagartoverde lagartoverde added the enhancement New feature or request label Dec 9, 2022
@lagartoverde lagartoverde requested review from nvdk and elpoelma December 9, 2022 09:25
@lagartoverde lagartoverde self-assigned this Dec 9, 2022
@elpoelma elpoelma changed the base branch from master to feature/rs-revisions December 9, 2022 11:54
elpoelma
elpoelma approved these changes Dec 9, 2022
View reviewed changes
Copy link
Contributor

@elpoelma elpoelma left a comment

Choose a reason for hiding this comment

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

Works well for me!

Base automatically changed from feature/rs-revisions to master December 15, 2022 12:03
@lagartoverde lagartoverde merged commit 0e5cfe6 into master Dec 15, 2022
@lagartoverde lagartoverde deleted the feature/restore-old-rs branch December 15, 2022 12:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@elpoelma elpoelma elpoelma approved these changes

@nvdk nvdk Awaiting requested review from nvdk

Assignees

@lagartoverde lagartoverde

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@lagartoverde @elpoelma