On Sun, Mar 3, 2013 at 3:45 AM, Ronald S. Bultje <rsbultje at gmail.com> wrote: > From: "Ronald S. Bultje" <rsbultje at gmail.com> > If its being deprecated, does it really make sense to add a configure option now, just so that it can vanish again next major bump?