Skip to content

Conversation

@rullzer
Copy link
Member

@rullzer rullzer commented Mar 4, 2021

For #25839

Signed-off-by: Roeland Jago Douma roeland@famdouma.nl

For #25839

Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl>
@rullzer rullzer merged commit 85e48d7 into master Mar 5, 2021
@rullzer rullzer deleted the techdept/psalm/25839/redundantcasts branch March 5, 2021 07:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants