New comment by motorto on void-packages repository https://github.com/void-linux/void-packages/pull/37853#issuecomment-1186545258 Comment: > @r-ricci fair point, should I close this PR? Yes, as @r-ricci stated maybe add a xlint warning