Skip to content

Conversation

@jtojnar
Copy link
Contributor

@jtojnar jtojnar commented Nov 20, 2023

This was revealed by PHPStan in #53.

This was revealed by PHPStan.
@jtojnar
Copy link
Contributor Author

jtojnar commented Nov 20, 2023

Opening this so that we can make a new release without waiting for #53.

@mibe mibe merged commit f838297 into mibe:master Nov 29, 2023
@mibe
Copy link
Owner

mibe commented Nov 29, 2023

Good catch, Stan! 😉

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants