From: Emmanuele Bassi <ebassi@gmail.com>
Date: Tue, 15 May 2018 08:51:37 +0000 (+0000)
Subject: Merge branch 'pages-docs' into 'master'
X-Git-Tag: archive/raspbian/4.4.1+ds1-2+rpi1^2~18^2~22^2~267
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=6656130f9cd72c405932c48e51fb511a21dc074e;p=gtk4.git

Merge branch 'pages-docs' into 'master'

Publish master docs with gitlab pages.

See merge request GNOME/gtk!135
---

6656130f9cd72c405932c48e51fb511a21dc074e