New comment by dmarto on void-packages repository

https://github.com/void-linux/void-packages/pull/39688#issuecomment-1272409657

Comment:
> I think you are mistaken regarding #13914. That PR kept it as users.

you are more then correct, I got baited by the PR description