]> granicus.if.org Git - php/commitdiff
Merge pull request #23 from bwoebi/info_literal_fix
authorFelipe Pena <felipe@php.net>
Sat, 23 Nov 2013 17:40:59 +0000 (09:40 -0800)
committerFelipe Pena <felipe@php.net>
Sat, 23 Nov 2013 17:40:59 +0000 (09:40 -0800)
Info literal fix


Trivial merge