Commit f84fefdf authored by nimrod's avatar nimrod
Browse files

Workbench: Small fix.

parent dff7052f