New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/42231#issuecomment-1431935433

Comment:
That PR is dropping 7.*, right? Assuming it gets merged soon, would you mind adding this patch for 8.0 there temporarily, before that gets dropped sometimes later?