Merge branch 'GNOME-master'
authorPieter De Praetere <pieter.de.praetere@helptux.be>
Mon, 25 Jan 2021 19:34:06 +0000 (20:34 +0100)
committerPieter De Praetere <pieter.de.praetere@helptux.be>
Mon, 25 Jan 2021 19:34:06 +0000 (20:34 +0100)

Trivial merge