tree 439cc1c71cfe4ea50cd643610e2e0f8f87021286
parent c1d7dc6361af36379a82015890a56c60b7d514dd
author Javier Jardón <jjardon@gnome.org> 1523958891 +0100
committer Javier Jardón <jjardon@gnome.org> 1524486956 +0200

.gitlab-ci.yml: no need to pin sphinx package anymore