New comment by martnnw on void-packages repository

https://github.com/void-linux/void-packages/issues/22756#issuecomment-677872597

Comment:
The PR for the package has been merged. Shouldn’t this issue be closed then?