Skip to content

Conversation

cmb69
Copy link
Member

@cmb69 cmb69 commented Nov 12, 2020

We fix the error message.

@cmb69 cmb69 added the Bug label Nov 12, 2020
@cmb69
Copy link
Member Author

cmb69 commented Nov 16, 2020

Any objections to merge this?

@php-pulls php-pulls closed this in 7877389 Nov 16, 2020
@cmb69 cmb69 deleted the cmb/74558 branch November 16, 2020 13:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants