Skip to content

Conversation

aentinger
Copy link
Contributor

No description provided.

@aentinger aentinger added the type: enhancement Proposed improvement label Sep 23, 2021
@aentinger aentinger self-assigned this Sep 23, 2021
@aentinger
Copy link
Contributor Author

Superseded by #27.

@aentinger aentinger closed this Oct 12, 2021
@aentinger aentinger deleted the fix-ci branch October 12, 2021 06:49
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.

1 participant