New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/25929#issuecomment-718011503

Comment:
Ok, then shall we merge this?