New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/issues/40687#issuecomment-1323747554

Comment:
I would guess a reboot will fix this