Skip to content

Conversation

@lgeiger
Copy link
Member

@lgeiger lgeiger commented Oct 14, 2020

Follow up of #529

Co-Authored-By: Tom Bannink <Tombana@users.noreply.github.com>
@lgeiger lgeiger added the internal-improvement Internal Improvements and Maintenance label Oct 14, 2020
@lgeiger lgeiger requested a review from a team October 14, 2020 17:27
@lgeiger lgeiger merged commit 93b3851 into master Oct 14, 2020
@lgeiger lgeiger deleted the new-schema branch October 14, 2020 17:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal-improvement Internal Improvements and Maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants