New comment by ndowens on void-packages repository https://github.com/void-linux/void-packages/pull/26806#issuecomment-739432428 Comment: Do you want me to drop gns3-gui from my commit, since there is now another PR?