New comment by ev-ermakov on void-packages repository

https://github.com/void-linux/void-packages/pull/25725#issuecomment-713691968

Comment:
Ok. So, should I close this pull request?