Merge branch 'frontend'
Merge branch 'master' into frontend
commit after holiday break