New comment by repk on void-packages repository

https://github.com/void-linux/void-packages/pull/20391#issuecomment-604547729

Comment:
Sure, same PR or a different one ?