New comment by shabahengam on void-packages repository https://github.com/void-linux/void-packages/pull/19231#issuecomment-587205760 Comment: @netzverweigerer This PR should stay open until get merged but that issue (#17273) can get closed because it's just a request to make a PR(and you did that).my english is not very good but I hope you understand what i mean.sorry to make you confused.