Re: Proposal to deprecate and then drop fromJust

On Tue, 24 Feb 2015, Joachim Breitner wrote:

I think deprecation should be used for things that are going to be removed, hence I’m not in favor or deprecating it either.

Additional to DEPRECATED warning, there is also WARNING.