Skip to content
This repository has been archived by the owner on Oct 24, 2022. It is now read-only.

Fix #11 #13

Merged
merged 5 commits into from
Jun 30, 2020
Merged

Fix #11 #13

merged 5 commits into from
Jun 30, 2020

Conversation

steinbrueckri
Copy link
Member

@steinbrueckri steinbrueckri commented Jun 30, 2020 •
edited
Loading

Changes:

@steinbrueckri steinbrueckri marked this pull request as ready for review June 30, 2020 11:53
@steinbrueckri steinbrueckri requested a review from a team as a code owner June 30, 2020 11:53
@steinbrueckri
Copy link
Member Author

@kunzese @heubeck Would you be so kind as to check my modifications?

@steinbrueckri steinbrueckri added enhancement New feature or request feature_request labels Jun 30, 2020
@steinbrueckri steinbrueckri merged commit b604952 into master Jun 30, 2020
@steinbrueckri steinbrueckri deleted the fix_11 branch June 30, 2020 19:22
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@heubeck heubeck heubeck approved these changes

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

Successfully merging this pull request may close these issues.

It should be possible to provide a list
2 participants
@steinbrueckri @heubeck