New PATCH release 01.02.05 Changes since 01.02.04: * move to new version of device support -- fix for API changes in DeviceAccess (RegisterCatalogue) (#3)
New PATCH release 01.02.05 Changes since 01.02.04: * move to new version of device support -- fix for API changes in DeviceAccess (RegisterCatalogue) (#3)