Merge branch 'ebassi/ci-fix' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Mon, 18 May 2020 15:10:38 +0000 (15:10 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Mon, 18 May 2020 15:10:38 +0000 (15:10 +0000)
docs: Fix the argument name to match

See merge request GNOME/gtk!1930


Trivial merge