[PATCH STABLE] deprecation: gate deprecation warning behind devel configuration

[Matt Mackall]

On Thu, 2016-05-05 at 16:36 +0200, Pierre-Yves David wrote:
> # HG changeset patch
> # User Pierre-Yves David <pierre-yves.david at ens-lyon.org>
> # Date 1462458571 -7200
> #      Thu May 05 16:29:31 2016 +0200
> # Branch stable
> # Node ID 332d908d7b8a07ed3885fef9ffcc95ac99597e5f
> # Parent  61463b8fcef871ff3efff53945df4671c71c4e31
> # EXP-Topic deprecwarn
> deprecation: gate deprecation warning behind devel configuration
> 
> Regular users are not supposed to be exposed to the API deprecation warnings.
>
> We now only issue them when the developper warnings are enabled.

Queued for stable with much cursing.

-- 
Mathematics is the supreme nostalgia of our time.