13.11.2019
  • The current version number is now displayed in the menu
  • Added some manual breadcrumbs for error reports
  • Slightly improved the identification of UI elements that are mentioned in auto generated breadcrumbs of error reports
  • Error reports now include a user id that gets randomly generated on each new session. This is used to distinguish errors from different user sessions