Skip to content

Fix CS#1345

Merged
dunglas merged 1 commit intophp:mainfrom
szepeviktor:patch-1
Jan 21, 2025
Merged

Fix CS#1345
dunglas merged 1 commit intophp:mainfrom
szepeviktor:patch-1

Conversation

@szepeviktor
Copy link
Copy Markdown
Contributor

Make the linter smile.

@dunglas dunglas merged commit eee1de1 into php:main Jan 21, 2025
@dunglas
Copy link
Copy Markdown
Member

dunglas commented Jan 21, 2025

Thanks

@szepeviktor szepeviktor deleted the patch-1 branch January 21, 2025 11:45
@szepeviktor
Copy link
Copy Markdown
Contributor Author

One more ✔️

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