Merge branch 'feature/update-contributors-201805' into 'master'
[doc] Update list of contributors
See merge request !341 (merged)
(cherry picked from commit c98d9bd3)
bb9cae47 [doc] Update list of contributors
[skip-ci]
[doc] Update list of contributors
See merge request !341 (merged)
(cherry picked from commit c98d9bd3)
bb9cae47 [doc] Update list of contributors
[skip-ci]