Yes, it looks like a bug. Initially I thought I may have messed up some settings owing to a large number of workspaces open in parallel. I tried to restore default setting. Changed version controls for workspace dating one to two weeks back but nothing seems to work. Seems like a bug to me!