A GitLab update will be applied on May 9th, between 8am and 10am, EDT (UTC-04:00). This site may have intermittent delays during that time.
Fix typo in documentation added by commit v3.10.0-rc1~18^2 (FindProtobuf: add flag to allow descriptor files to be generated, 2017-09-21).