refs platform-team/373: Use our own version of dinghy-proxy which is arm compatible #43

Closed paolomainardi closed 2 years ago