New comment by subnut on void-packages repository

https://github.com/void-linux/void-packages/pull/41979#issuecomment-1442820325

Comment:
@paper42 Since the commits of this PR have been included in a different, bigger PR, that means I should close this PR, right?