diff options
author | Xinchen Hui <laruence@gmail.com> | 2016-08-17 16:56:20 +0800 |
---|---|---|
committer | Xinchen Hui <laruence@gmail.com> | 2016-08-17 16:56:20 +0800 |
commit | b172f43caa048861899e78eb56607cb5b60e5cfb (patch) | |
tree | b6d61f8664d6f4b867ae0fbcaad6318507fb44f5 | |
parent | 3956deb1b20f8f7a9cabb3015cb3c9bb79fbf0be (diff) | |
download | php-git-b172f43caa048861899e78eb56607cb5b60e5cfb.tar.gz |
Unused label
-rw-r--r-- | ext/session/session.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ext/session/session.c b/ext/session/session.c index 85c7276913..8e5caf9bb3 100644 --- a/ext/session/session.c +++ b/ext/session/session.c @@ -1115,7 +1115,6 @@ PS_SERIALIZER_DECODE_FUNC(php) /* {{{ */ PS_ADD_VARL(name); } } -skip: zend_string_release(name); p = q; |