New comment by sgn on void-packages repository

https://github.com/void-linux/void-packages/pull/25727#issuecomment-716074207

Comment:
> @sgn, ok. So, should I close this pull request?

Either is fine, thanks.