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

Remove useless delegation from listener to recorder. #4

Merged
merged 1 commit into from
Mar 6, 2023
Merged

Remove useless delegation from listener to recorder. #4

merged 1 commit into from
Mar 6, 2023

Conversation

sschnabe
Copy link
Member

@sschnabe sschnabe commented Mar 5, 2023

No description provided.

@sschnabe sschnabe added the enhancement New feature or request label Mar 5, 2023
@sschnabe sschnabe self-assigned this Mar 5, 2023
@sschnabe sschnabe merged commit f68ff22 into main Mar 6, 2023
@sschnabe sschnabe deleted the cleanup branch March 6, 2023 14:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fabian-schlegel fabian-schlegel fabian-schlegel approved these changes

@rpahli rpahli Awaiting requested review from rpahli rpahli is a code owner

@jschwarze jschwarze Awaiting requested review from jschwarze jschwarze is a code owner

@wistefan wistefan Awaiting requested review from wistefan wistefan is a code owner

@monotek monotek Awaiting requested review from monotek monotek is a code owner

Assignees

@sschnabe sschnabe

Labels
enhancement New feature or request
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@sschnabe @fabian-schlegel