Skip to content

Simplify phpstan CI patch#825

Merged
DarkSide666 merged 1 commit intodevelopfrom
simpler_phpstan_patch
Jan 15, 2021
Merged

Simplify phpstan CI patch#825
DarkSide666 merged 1 commit intodevelopfrom
simpler_phpstan_patch

Conversation

@mvorisek
Copy link
Copy Markdown
Member

No description provided.

@mvorisek mvorisek added the RTM label Jan 14, 2021
@mvorisek mvorisek marked this pull request as ready for review January 14, 2021 22:33
@DarkSide666 DarkSide666 merged commit 945c736 into develop Jan 15, 2021
@DarkSide666 DarkSide666 deleted the simpler_phpstan_patch branch January 15, 2021 11:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

2 participants