New comment by cinerea0 on void-packages repository

https://github.com/void-linux/void-packages/pull/26003#issuecomment-720206691

Comment:
@ericonr Unfortunately, I don't think GitHub will automatically close other PRs, just linked issues. Good news though, the CI for this finally went through!