Skip to content

Comments

Merge dev into master#199

Merged
apolignano merged 2 commits intomasterfrom
dev
Jan 19, 2026
Merged

Merge dev into master#199
apolignano merged 2 commits intomasterfrom
dev

Conversation

@apolignano
Copy link
Contributor

No description provided.

@coveralls
Copy link

Coverage Status

coverage: 93.818%. remained the same
when pulling 2fca5dd on dev
into a2a483a on master.

Copy link
Contributor

@matthiasblum matthiasblum left a comment

Choose a reason for hiding this comment

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

LGTM

@apolignano apolignano merged commit 6bdec90 into master Jan 19, 2026
2 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