New comment by xelxebar on void-packages repository https://github.com/void-linux/void-packages/pull/11300#issuecomment-654573623 Comment: Sure. Closing seems like the right move in this case. Thanks.