<div id="comment:0"></div> It's unused. Doing this on a separate ticket from #29024 and #32242 as it should be a trivial review. CC: @mkoeppe @dimpase @kiwifb @antonio-rojas @slel Component: **build** Author: **Michael Orlitzky** Branch/Commit: **[`2acc06e`](https://github.com/sagemath/sagetrac-mirror/commit/2acc06eb7da60821a8e602a1c8fc83657f918765)** Reviewer: **Matthias Koeppe** _Issue created by migration from https://trac.sagemath.org/ticket/32302_