New comment by linkert on void-packages repository

https://github.com/void-linux/void-packages/pull/42848#issuecomment-1533485421

Comment:
All should be in order - does anyone get pinged when a commit is pushed?