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