Fix #166

Closes #166 (closed)

changed milestone to %runtime-800

added I-ToPrioritize P2-asap RN-runtime bug labels

assigned to @bgallois

added 1 commit

• acd989ee - fix #166 (closed)

Compare with previous version

added 1 commit

• 8f80c30e - fix #166 (closed)

Compare with previous version

added 1 commit

• 5c20ee06 - fix benchmarking revoke_membership

Compare with previous version

marked this merge request as ready

approved this merge request

I do not fully understand #167 (closed) yet, but this fix is ok and should be merged asap, so I merge it.

merged

mentioned in commit 08fae8df