On Tue, 12 Jan 2016 21:03:17 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote: > Agreed. I think you could probably get away with simply deleting > it now. For now, I just marked it obsolete. After the release, we can delete it. > The diff looks fine. Thanks for the review. Zoltan.