New comment by tibequadorian on void-packages repository

https://github.com/void-linux/void-packages/pull/36212#issuecomment-1072750552

Comment:
Renaming the old PR instead of opening a new one would've been fine.

To skip the CI you write [ci skip].