New comment by kedodrill on void-packages repository

https://github.com/void-linux/void-packages/pull/21758#issuecomment-721811341

Comment:
> Woo!

Bit confused here, as this is closed I assume it did not make it into `master`? Or is the push / merge process different somehow?