Merge branch 'from_public/master' into 'master'

From public/master

See merge request !12