[sysadmin-bin: 5/5] Merge branch 'master' into 'master'

[Andrea Veri <averi src gnome org>]

commit 806f5ee617cbe8256126618341c5a411c2e98c3d
Merge: 1398d4b 9a15d89
Author: Andrea Veri <andrea veri gmail com>
Date:   Tue Feb 27 10:07:26 2018 +0000

    Merge branch 'master' into 'master'
    
    Add gitlab.gnome.org modules to topics list
    
    See merge request Infrastructure/sysadmin-bin!3

 mail/set-topics-svn-commits-list | 35 ++++++++++++++++++++++++-----------
 1 file changed, 24 insertions(+), 11 deletions(-)
---