New review comment by pullmoll on void-packages repository https://github.com/void-linux/void-packages/pull/21199#discussion_r500170473 Comment: Just push as you like I'll take care of fixing for gcc10 again in case it is still required.