On Thu, Feb 16, 2023 at 03:03:01PM -0500, Taylor Blau wrote: > I have no idea either. From a cursory scan, I think I'd err on the side > of it being vestigial. But Matheus (cc'd) should be able to tell us for > sure. Oops. That email (Matheus Tavares <matheus.bernardino@xxxxxx>) is deactivated, which I should have known from 38645f8cb19 (mailmap: update email address of Matheus Tavares, 2022-12-09). I CC'd the right address instead. Thanks, Taylor
