Skip to content

Common log interface#949

Merged
LarsAsplund merged 2 commits intomasterfrom
common_log_interface
Jul 17, 2023
Merged

Common log interface#949
LarsAsplund merged 2 commits intomasterfrom
common_log_interface

Conversation

@LarsAsplund
Copy link
Collaborator

Updates to common log interface.

@LarsAsplund LarsAsplund merged commit c5edd32 into master Jul 17, 2023
@eine eine deleted the common_log_interface branch July 17, 2023 11:48
@eine eine added this to the v5.0.0 milestone Jul 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants