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
Note to ourselves (incl. @lcomet ): In this issue, we do not yet decide, which things are still relevant. Instead, we keep everything and #526 (and esp. #527 ) continue from there.
Mentioned in today's IDS mail: "As of the middle of August 2022, you will no longer be able to access Jive".
Our current docu generation scripts download and use information from Jive.
Please
The text was updated successfully, but these errors were encountered: