New comment by subsonik on void-packages repository https://github.com/void-linux/void-packages/pull/27765#issuecomment-759747113 Comment: Ah OK, apologies, I'll bear this in mind in future. :) I've already opened another PR for the new version, should I close that one and reopen this?