php/php-src — pull request #144 by nikic (2012-07-25 16:00:09+00:00)
Title: Fix bug #62653: unset($array[$float]) causes a crash

Fixes bug https://bugs.php.net/bug.php?id=62653.

The goto'd code dtors the offset, but this is not necessary here -> double dtor.