New comment by Oreo639 on void-packages repository

https://github.com/void-linux/void-packages/pull/31444#issuecomment-860336995

Comment:
Yeah, thank you for pointing that out. (I missed that)
Should I leave this open or close it?