New comment by subnut on void-packages repository https://github.com/void-linux/void-packages/pull/36311#issuecomment-1176987024 Comment: > It's merged. Amazing! 🎉🎉 > Wdym? The PR shows _closed_ instead of _merged_, and there are zero commits. I thought something went wrong. 😅