Merge branch 'master' of https://github.com/protegeproject/webprotege into gitlab-ci

1 job for webprotege-5-SNAPSHOT in 17 minutes and 53 seconds (queued for 1 second)
latest