Skip to content

redo different location of #470 - #491

Merged
sgrossberndt merged 2 commits into
developfrom
example_line_filter_leonard
Sep 14, 2026
Merged

sgrossberndt merged 2 commits into
developfrom
example_line_filter_leonard

Conversation

@ue71603

@ue71603 ue71603 commented Sep 10, 2026

Copy link
Copy Markdown
Contributor

fixes #470

@leonardehrenfried leonardehrenfried left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Thanks!

I got the feedback about the other PR while on holiday and naturally I forgot about it.

@sgrossberndt
sgrossberndt merged commit 35117ff into develop Sep 14, 2026
2 checks passed
@sgrossberndt
sgrossberndt deleted the example_line_filter_leonard branch September 14, 2026 07:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants