You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I plan to fix this one very soon because it is easy, but I thought that it deserved a bug report in any case. Note the comment by @nikomatsakishere with a test case.