New comment by newbluemoon on void-packages repository

https://github.com/void-linux/void-packages/pull/12101#issuecomment-498401061
Comment:
Ok. Maybe it’s just a sourceforge hiccup. :)