New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/39866#issuecomment-1276007209

Comment:
Do you want this merged now or as part of later Sage update?