Hi Jakub, 2013/7/20 Jakub Zelenka <jakub....@gmail.com>
> Hi, please can you close the pull request > https://github.com/php/php-src/pull/317 . It's my old request for > array_column bug that has been already fixed. Cheers. > Closed. Thank you. -- Yasuo Ohgaki yohg...@ohgaki.net
