New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/39608#issuecomment-1264628682

Comment:
Hmm, you are right, a restart helped.