New comment by cinerea0 on void-packages repository

https://github.com/void-linux/void-packages/issues/34139#issuecomment-992009829

Comment:
@paper42 This has been fixed; it just wasn't closed automatically because whoever merged my PR did it in a way GitHub didn't like.