New comment by smorimoto on void-packages repository https://github.com/void-linux/void-packages/pull/25725#issuecomment-713723041 Comment: Hmm... What do you mean? You can if it means that it can be merged.