[ros-diffs] [janderwald] 32380: - taskmgr improvements by Carlo Bramix See issue #3075 for more details.