Merge branch 'develop' into 'master'

[release] Regular merge of develop

See merge request !100
5 jobs for master in 3 minutes and 36 seconds (queued for 1 second)
Status Name Job ID Coverage
  Retrieve
passed retrieve:repo #239803

00:00:07

 
  Generate
passed generate:index #239804

00:00:07

 
  Build
passed build:courses #239806

00:02:56

passed build:website #239805

00:00:25

 
  Deploy
passed upload #239807

00:00:25