New comment by slotThe on void-packages repository

https://github.com/void-linux/void-packages/issues/19464#issuecomment-619352213

Comment:
@leahneukirchen I suppose this can be closed now that #20365 got merged.