New comment by leahneukirchen on void-packages repository https://github.com/void-linux/void-packages/pull/14704#issuecomment-535165450 Comment: Merged manually.