New comment by yopito on void-packages repository

https://github.com/void-linux/void-packages/pull/23607#issuecomment-659937347

Comment:
PR #23231 already cover this (waiting for merge)

Le 17 juillet 2020 00:49:25 GMT+02:00, Piraty <notifications@github.com> a écrit :
>@yopito