New comment by cinerea0 on void-packages repository

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

Comment:
@ericonr Is this okay to be merged?