Its last use was removed in Nov 2020 by c8d77cae (#26659) Co-authored-by: Charles Kerr <charles@charleskerr.com>
Charles Kerr <charles@charleskerr.com>
![trop[bot]'s avatar](https://secure.gravatar.com/avatar/eb5ab90ef2ff8c73b8619578cf4173e059bb017256f373cca68daae232eded1c?s=80&d=identicon "trop[bot]")