New comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/38479#issuecomment-1207240713 Comment: > Sorry, will do next time. It's not a problem at all, just that I could easily miss it.