New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/15812#issuecomment-546703049

Comment:
Debian has this patch too, I don't object to adding it.