Merge branch 'ebassi/docs-for-main' into 'main'
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 7 Jan 2022 19:14:59 +0000 (19:14 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 7 Jan 2022 19:14:59 +0000 (19:14 +0000)
Document side effect of GLArea:has-depth-buffer

Closes #838

See merge request GNOME/gtk!4351


Trivial merge