Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update infection/infection version #296

Closed
wants to merge 1 commit into from
Closed

Update infection/infection version #296

wants to merge 1 commit into from
+1 −1

Conversation

vjik
Copy link

@vjik vjik commented Jan 12, 2022

No description provided.

@vjik vjik mentioned this pull request Jan 12, 2022
Merged
@vjik vjik closed this Jan 12, 2022
@vjik
Copy link
Author

vjik commented Jan 12, 2022 •
edited
Loading

Closed in favor of #295

@Ocramius Ocramius added this to the 1.15.0 milestone Jan 12, 2022
@Ocramius Ocramius added dependencies Pull requests that update a dependency file enhancement New feature or request php Pull requests that update Php code labels Jan 12, 2022
@Ocramius Ocramius self-assigned this Jan 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@Ocramius Ocramius

Labels
dependencies Pull requests that update a dependency file enhancement New feature or request php Pull requests that update Php code
Projects
None yet
Milestone
1.15.0
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@vjik @Ocramius