New comment by ananteris on void-packages repository https://github.com/void-linux/void-packages/pull/45867#issuecomment-1702733671 Comment: Yeah, i didn't intend to I think it automatically closed because the branch got deleted then I force pushed a newly created one. Either way it's finalized.