Skip to content

Conversation

@jhdxr
Copy link
Member

@jhdxr jhdxr commented Sep 23, 2017

fix #68406

As discussed in #2683 , properties of DateTimeZone are not supposed to be exposed to userland.

@jhdxr jhdxr changed the base branch from master to PHP-7.0 September 23, 2017 11:52
@jhdxr
Copy link
Member Author

jhdxr commented Sep 23, 2017

oops, I chose a wrong target branch.

@jhdxr jhdxr force-pushed the bugfix/68406-debug branch 2 times, most recently from 64e5212 to d202d6d Compare September 26, 2017 06:56
@krakjoe krakjoe added the Bug label Sep 27, 2017
@jhdxr jhdxr force-pushed the bugfix/68406-debug branch from d202d6d to 64e5212 Compare September 28, 2017 18:54
@jhdxr jhdxr changed the base branch from PHP-7.0 to PHP-7.1 December 21, 2017 06:53
@jhdxr
Copy link
Member Author

jhdxr commented Dec 21, 2017

target branch updated, because this is not a security fix.

@krakjoe
Copy link
Member

krakjoe commented Feb 8, 2018

This can't be merged cleanly with master, can I get a PR for that please ?

@jhdxr
Copy link
Member Author

jhdxr commented Feb 8, 2018

@krakjoe sure, I'll look into it later

@jhdxr jhdxr mentioned this pull request Feb 11, 2018
@krakjoe
Copy link
Member

krakjoe commented Feb 12, 2018

Merged 070211b

Thanks.

@krakjoe krakjoe closed this Feb 12, 2018
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.

2 participants