New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/27765#issuecomment-759745986

Comment:
Kinda. Just rename the PR and force push. It's less noisy for us.