New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/42899#issuecomment-1478284989

Comment:
please force push to the old PR next time to update it instead of opening a new one