Proposal to deprecate and then drop fromJust

Henning Thielemann lemming at henning-thielemann.de
Tue Feb 24 10:45:03 UTC 2015


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.


More information about the Libraries mailing list