[new autotuner] Fixed a small but annoying issue with deleting too many characters when updating progress
[new autotuner] Fixed a small but annoying issue with deleting too many characters when updating progress

petabricks/petabricks,petabricks/petabricks,petabricks/petabricks,petabricks/petabricks,petabricks/petabricks