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'm pretty sure that this problem is based on the handling of the SEARCH-results after a new page is displayed.
I think we have a closer look at this timing problem next semester!
Looking at the SEARCH-Tags-results for "Main" and "Karl der Große" returns same result list ...
The text was updated successfully, but these errors were encountered: