Merge branch 'master' into F10013CodeMirror

3 jobs for F10013CodeMirror in 5 minutes and 1 second (queued for 1 second)
latest
Status Job ID Name Coverage
  Before
passed #5076
documentation

00:01:06

 
  Build
passed #5077
snapshot

00:01:46

 
  Selenium
passed #5078
selenium

00:02:09