Report missing workspaces in doctor#362

jongio merged 2 commits into

mainjongio/dispatch:mainfrom

idea/doctor-missing-workspacesjongio/dispatch:idea/doctor-missing-workspacesCopy head branch name to clipboard