New comment by SpidFightFR on void-packages repository https://github.com/void-linux/void-packages/pull/42482#issuecomment-1450024531 Comment: Ah okay, makes sense. Well the pr is just a change of version, as a consequence, i got no more pushes to do.