Closed decaz closed 11 months ago
Fixes #570.
coverage: 88.322% (-0.04%) from 88.359% when pulling 1aad4f09f0db64df1407ab3f7ab7e22fec11d17f on decaz:fix-robust-channel-reopen into 7764372db890e28a355ffcbc06bc85730038dc01 on mosquito:master.
Fixes #570.