New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/36421#issuecomment-1083196664

Comment:
BTW, the  patch I added here is already reported upstream (https://xcas.univ-grenoble-alpes.fr/forum/viewtopic.php?f=3&t=2772)