7.x-1.0
f1356c75 · Issue #1182724 by Dave Reid, stevector: Changing title of workbench_edited to... ·