New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

[WIP] Task/remove memory registry #1472

Draft

AlvaroVega wants to merge 5 commits into master from task/remove_memory_registry

Member

AlvaroVega commented Sep 28, 2023

AlvaroVega added 3 commits

September 27, 2023 12:21


          disable memory registry

44345c2


          update tests

9a57a5c


          fix lint

44bfc05

AlvaroVega mentioned this pull request

fix: update subscriptions in device #1475

Merged


          add missed fields

fc09dd5

Member

fgalan commented Oct 11, 2023

Not for version 3.5.0


          Merge branch 'master' into task/remove_memory_registry

0b82ce1

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet