v16

ente

@ente76

67d344a7 · gnome 43, version 16 · Nov 03, 2022

- fix some minor issues in gnome settings schema
- add gnome 43 compatibility