Skip to content
This repository was archived by the owner on Dec 21, 2023. It is now read-only.

Conversation

@bacherfl
Copy link
Member

@bacherfl bacherfl commented Dec 4, 2019

No description provided.

Copy link
Member

@christian-kreuzberger-dtx christian-kreuzberger-dtx left a comment

Choose a reason for hiding this comment

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

lgtm

@bacherfl bacherfl merged commit 0ab0508 into master Dec 4, 2019
@bacherfl bacherfl deleted the patch/spec-update branch December 4, 2019 10:01
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants