On Tue, Jun 24, 2014 at 6:15 PM, Nick Coghlan <ncoghlan at gmail.com> wrote: > Aye, in this case, I'm in the "officially deprecate the feature" camp. Definitely preferable to the suggestion to remove the configure flag. Skip