New comment by cat-marin on void-packages repository

https://github.com/void-linux/void-packages/pull/24555#issuecomment-683584712

Comment:
Have I not done it already? I did git rebase. Or should it also change the PR name?