Merge branch 'remove-playground-notebooks' into 'dev'
1 related merge request: !377 removed new formatting function, put the functionality in the old one,...
Scheduled
6 jobs
7 minutes 35 seconds, queued for 13 seconds