Skip to content

Conversation

@villfa
Copy link
Contributor

@villfa villfa commented Apr 18, 2017

No description provided.

@cmb69
Copy link
Member

cmb69 commented Apr 19, 2017

LGTM, but I think this bugfix should target PHP 7.0+, in which case the PR should be rebased onto PHP-7.0.

@krakjoe krakjoe added the Bug label Apr 20, 2017
@krakjoe krakjoe self-assigned this Apr 20, 2017
@krakjoe
Copy link
Member

krakjoe commented Apr 20, 2017

Why is the target master and not 7.0 ?

@villfa villfa changed the base branch from master to PHP-7.0 April 20, 2017 08:49
@villfa villfa changed the base branch from PHP-7.0 to master April 20, 2017 09:43
@villfa villfa changed the base branch from master to PHP-7.0 April 20, 2017 10:17
@villfa
Copy link
Contributor Author

villfa commented Apr 20, 2017

@krakjoe I chose master by (bad) habit. No particular intention behind.
The PR is now rebased on the PHP-7.0 branch.
I'll be more careful in the future.

@krakjoe
Copy link
Member

krakjoe commented May 2, 2017

Merged as f50df1d

Thanks.

@krakjoe krakjoe closed this May 2, 2017
@villfa villfa deleted the fix_sort_with_sort_keys branch July 26, 2017 11:13
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.

3 participants