New comment by Vaelatern on void-packages repository

https://github.com/void-linux/void-packages/pull/18756#issuecomment-583218343

Comment:
I merged it, with a few tweaks that did not require a roundtrip, I could just quickly do them myself.

Welcome to the void!