<p>In addition, some services offered through our web servers use cookies to store custom settings across sessions. These are in particular: Jitsi (the specified user name is stored), OpenGrok (search preferences), WordPress (user name, URL and email address) and EtherPad (user name and text colour assigned to it). It is not necessary to provide a username in order to use these services.</p> <p>When accessing our website, users are informed by a banner about the use of cookies for analysis purposes, and users are referred to this privacy policy.
Previous Title: No changes recorded
Updated Title: No changes recorded
Previous Analysis: No changes recorded
Updated Analysis: No changes recorded
Previous Status: No changes recorded
Updated Status: No changes recorded
Previous Title: No changes recorded
Updated Title: No changes recorded
Previous Analysis: No changes recorded
Updated Analysis: No changes recorded
Previous Status: PENDING
Updated Status: APPROVED
Previous Title:
Updated Title: This service uses third-party cookies for statistics
Previous Analysis:
Updated Analysis: Generated through the annotate view
Previous Status:
Updated Status: PENDING