Skip to content

Conversation

dr0i
Copy link
Member

@dr0i dr0i commented May 7, 2024

Resolves #525.

@dr0i dr0i requested a review from TobiasNx May 7, 2024 11:44
@dr0i dr0i self-assigned this May 7, 2024
@dr0i
Copy link
Member Author

dr0i commented May 7, 2024

@TobiasNx can you try this branch? It should fix the problem.

@TobiasNx
Copy link
Contributor

TobiasNx commented May 7, 2024

I tried it with my testscenario: 9685d3dc60b8dfe781fd39698c2e6f9d38c87fab

Looks good. +1

@dr0i dr0i merged commit 19282de into master May 7, 2024
@dr0i dr0i deleted the 525-fixIndentationWhenStreamResetted branch May 7, 2024 14:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Strange behaviour with indentation
2 participants