Skip to content

Conversation

@fgreinacher
Copy link
Contributor

The former is not maintained anymore

The former is not maintained anymore
@fgreinacher fgreinacher enabled auto-merge (squash) January 6, 2022 12:18
@fgreinacher fgreinacher merged commit 5db8c5c into main Jan 6, 2022
@fgreinacher fgreinacher deleted the chore/release-action branch January 6, 2022 13:57
@github-actions
Copy link

github-actions bot commented Jan 6, 2022

This is addressed in release v16.0.2.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

state: released Issues that are released

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants