Shall we remove --enable-inline-optimization option? Since it does not do anything for a long time, AFAIK. (Or does it actually work under some systems?)
Any comments? -- Yasuo Ohgaki -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, visit: http://www.php.net/unsub.php
