[gjs: 2/2] Merge branch 'distros' into 'master'

[Philip Chimento <pchimento src gnome org>]

commit 013d88fe1cf5d70f6dabe5aa1ff0333fc5edb85a
Merge: 89a7261b 80dec528
Author: Philip Chimento <philip chimento gmail com>
Date:   Thu Jun 21 18:43:48 2018 +0000

    Merge branch 'distros' into 'master'
    
    docs: fix the distributions used for CI
    
    See merge request GNOME/gjs!172

 README.md | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)
---