New comment by AngryPhantom on void-packages repository https://github.com/void-linux/void-packages/pull/28248#issuecomment-767763940 Comment: @uw2021 No no, it's OK :) I didn't know that it's a dev release either. I have 4.17 installed and put it on hold since it fixes an important issue for me (in which I was also involved on their gitlab). Cheers.