New comment by Johnnynator on void-packages repository

https://github.com/void-linux/void-packages/pull/32265#issuecomment-890342795

Comment:
The pull bot active on your fork managed to drop your commit in this PR and github marked it ad merged since it had the same HEAD as master.