[ros-diffs] [mkupfer] 41253: Gabriel Ilardi <gabrielilardi AT hotmail DOT it> - Fixes the TAB_STOP problem for taskmanager. - See issue #3954 for details.