Skip to content
New PATCH release 02.03.02

Changes since 02.03.01:
- fix for API changes in DeviceAccess (RegisterCatalogue) (#42)
  -- see #7425