Actually use backend config#3876

ndr-ds merged 1 commit intomainlinera-io/linera-protocol:mainfrom

05-02-actually_use_backend_configlinera-io/linera-protocol:05-02-actually_use_backend_configCopy head branch name to clipboard