New comment by ahesford on void-packages repository

https://github.com/void-linux/void-packages/pull/24607#issuecomment-687172849

Comment:
No, I merged it from an external tool. Note the "closed this in 3413e26" message in this timeline.