Merge remote-tracking branch 'gitlab/manual17.11.x' into manual17.11.x
-rw-r--r-- 1627 .gitlab-ci.yml
-rw-r--r-- 884 CONTRIBUTING.md
-rw-r--r-- 35097 LICENSE
-rw-r--r-- 683 README.md
drwxr-xr-x - en
drwxr-xr-x - icons
-rw-r--r-- 2062 mappings.pl