Minor UI change: Move and rename save button in task editor - #2451

Minor UI change: Move and rename save button in task editor#2451

Didayolo wants to merge 1 commit into

developcodalab/codabench:developfrom

update-task-buttoncodalab/codabench:update-task-buttonCopy head branch name to clipboard