Log Message:
gnome-mastermind: update to 0.4.0.

2023-02-27  Filippo Argiolas <filippo.argiolas@gmail.com>
	* everything: first release since almost 15 years! Apparently
	there were some important changes in Debian that were never
	upstreamed. At some point (2018?) they actually tried to contact
	me but as always life got in the way.
	Now we finally managed to coordinate with the new maintainer Josef
	Schneider, move everything to GitHub and import all the patches
	upstream.

	Among the big changes from Yavor Doganov <yavor@gnu.org>:
	- Migrate docs from gnome-doc to yelp
	- Migrate from gconf to gsettings
	- Port to GTK3 (yay!!!)

	Thanks a lot to Josef Schneider <josef81sch@gmail.com> for his
	amazing effort to upstream everything!