> I thought he had a "rethinking how we deprecate" PR or issue, but I can't 
find it now.

    I think it was [#13074]  (now merged).

Yes it was, thanks.

Reply via email to