Skip to content

Refactor: Rename "disable_observe_handling" for clarity#115

Merged
Covertness merged 1 commit intoCovertness:masterfrom
daniel-nicolai-hansten:master
May 24, 2025
Merged

Refactor: Rename "disable_observe_handling" for clarity#115
Covertness merged 1 commit intoCovertness:masterfrom
daniel-nicolai-hansten:master

Conversation

@daniel-nicolai-hansten
Copy link
Contributor

Solves #114

@Covertness
Copy link
Owner

LGTM

@coveralls
Copy link

Coverage Status

coverage: 81.743% (+0.04%) from 81.7%
when pulling 8f9537d on daniel-nicolai-hansten:master
into 38a7b85 on Covertness:master.

@Covertness Covertness merged commit a26f389 into Covertness:master May 24, 2025
3 checks passed
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.

3 participants