New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/22192#issuecomment-633589146

Comment:
But processing the dependencies shouldn't waste too much time, I think. Do you think the inconvenience of manually propagating this sort of info is worth it, then?