New comment by ev-ermakov on void-packages repository

https://github.com/void-linux/void-packages/pull/25727#issuecomment-713798788

Comment:
@sgn, ok. So, should I close this pull request?