New comment by ggordan on void-packages repository

https://github.com/void-linux/void-packages/pull/14212#issuecomment-533525793

Comment:
Considering the build is no longer failing, is there still an issue with merging this?