New comment by beanpole135 on void-packages repository

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

Comment:
um, you closed it without pulling/merging it first...