New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/40678#issuecomment-1324204772

Comment:
please force push instead of opening a new PR next time