FYI: the bug is: 63363 https://bugs.php.net/bug.php?id=63363
On Thu, Oct 25, 2012 at 12:06 PM, Anthony Ferrara <ircmax...@gmail.com>wrote: > > Do we even need an RFC for this? I would personally just open a bug and > >> > commit the change. >> > >> > But if people want an RFC, that's fine... It just seems like a huge >> > undertaking for such a minor change... >> >> I see no need for an RFC just to add a helpful notice here. Just do it. >> > > Thanks Rasmus, > > I'll open a bug and commit the fix today. > > Anthony >
