On Mon, Jun 10, 2013 at 9:35 AM, Daniel Shahaf <d...@daniel.shahaf.name> wrote: > Perhaps leave it in? It's little overhead to maintain and might make > somebody's life easier.
If you want to put it in that's fine. But at this point I don't think it'll be in 1.8.0 since I merged the change removing it.
