Skip to content

Be safe about logs and avoid a dead-lock if a log raises - #144

Merged
dinosaure merged 1 commit into
mainfrom
fix-logs
Sep 22, 2026
Merged

dinosaure merged 1 commit into
mainfrom
fix-logs

Conversation

@dinosaure

Copy link
Copy Markdown
Contributor

find by scrutineer from @avsm

@dinosaure
dinosaure merged commit ae188d6 into main Sep 22, 2026
18 of 27 checks passed
@dinosaure
dinosaure deleted the fix-logs branch September 22, 2026 19:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant