On 6 Jun 2012 08:43, "David Soria Parra" <d...@php.net> wrote: >
> Do we need an RFC for that simple pull request or can we just go ahead > and pull it? Please don't waste your time on an rfc for it. If you really want to write anything, write the doc. -Hannes
