On Wed, 2018-05-23 at 15:57 +0200, Bertrand Delacretaz wrote: > On Wed, May 23, 2018 at 9:34 AM, Robert Munteanu <[email protected]> > wrote: > > ...That's a very good idea. Would it make sense to add > > "(Deprecated)" or > > "(replaced by ...)" next to this entry?... > > Or add a deprecation badge at [1] ?
I think we can do both. This way, we cover all access paths. Robert
