New comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/42293#issuecomment-1442498123

Comment:
> yes if it fixes an issue that's not very obscure

I'll keep that in mind for the future then. In this case, getting the bug fixed upstream and a new release out was quicker than getting the update in here anyway, so it doesn't really matter in this case.