New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/24037#issuecomment-669296191

Comment:
I will try to split the PR to let the CI finish. widelands is kind of stupid with this.