There are two active tabs. A bug?

as you can see that there are two active tabs it looks like a bug to me because it sometimes happen and then it is normal again.


Thanks for reporting this, which repository do you see this happening on? Does a reload of the page clear up the tabs?

Cheers, Mike.

currently don’t remember what was the repo and yes reloading it solves