New comment by oreo639 on void-packages repository

https://github.com/void-linux/void-packages/pull/36445#issuecomment-1085252734

Comment:
Oh, sorry I misread your comment, they did replace gnome-terminal with gnome-console for GNOME 42:
https://gitlab.gnome.org/GNOME/gnome-build-meta/-/merge_requests/1404