New comment by netzverweigerer on void-packages repository

https://github.com/void-linux/void-packages/pull/19231#issuecomment-587180083

Comment:
Okay I'm confused, should I leave this open until this successfully got merged/rejected or is this safe to close already?