Skip to content

Merge devel to production

Tobias Winchen requested to merge devel into production
  • Fix for effelsberg observing flag
  • Redis: Update version + fix recovery from failed dumps

Merge request reports