Skip to content

Conversation

aentinger
Copy link
Contributor

This fixes #209.

@aentinger aentinger added the type: enhancement Proposed improvement label Dec 14, 2021
@aentinger aentinger self-assigned this Dec 14, 2021
@aentinger aentinger merged commit 14596d4 into master Dec 14, 2021
@aentinger aentinger deleted the fix-209 branch December 14, 2021 12:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add GitHub Actions workflow to synchronise with shared repository labels
1 participant