Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
#56 adding download manager status bar into navigator status bar
Merge branch 'dev' of github.com:cismet/cids-navigator into dev
Merge branch 'feature/56-downloadManager-status-bar' into dev