New comment by Yorizuka on void-packages repository

https://github.com/void-linux/void-packages/issues/45892#issuecomment-1704015690

Comment:
> this is simply github's interface being bad at showing a manual merge. the PR was applied in commit [1c2891d](https://github.com/void-linux/void-packages/commit/1c2891dcea01fad0725084b7864031fb883bf9dc)
That is good to know, thank you, I was not aware.