No device-session exists for dev_addr

Thanks for replying! It turned out that this was an issue of me being silly; I was chasing after a duplication bug that ended up looking a lot like this:

The issue was fixed by this PR allowing use of older Redis versions:

Thanks!