There's a merged pull request on the void-packages repository

gnome shell 40.2
https://github.com/void-linux/void-packages/pull/31454

Description:
- gnome-shell: update to 40.2.
- gnome-shell-extensions: update to 40.2.