New comment by oreo639 on void-packages repository

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

Comment:
Should this become apart of the gnome 42 PR (and added to gnome-core) or no?