Skip to content
This repository was archived by the owner on Jun 30, 2022. It is now read-only.

Conversation

@aentinger
Copy link
Contributor

This fixes #5.

@aentinger aentinger added the type: enhancement Proposed improvement label Dec 14, 2021
@aentinger aentinger self-assigned this Dec 14, 2021
@aentinger aentinger merged commit 1698d7b into main Dec 14, 2021
@aentinger aentinger deleted the fix-5 branch December 14, 2021 10:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

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

2 participants