Skip to content

Conversation

@Jille
Copy link
Contributor

@Jille Jille commented Jul 17, 2014

No description provided.

@smalyshev
Copy link
Contributor

A test would be nice here.

@smalyshev smalyshev added the Bug label Nov 24, 2014
@php-pulls php-pulls merged commit 00c6033 into php:master Dec 1, 2014
@Jille Jille deleted the bug67643 branch December 1, 2014 17:44
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.

3 participants