Closed SaurabhVatsa closed 3 weeks ago
Comments in https://github.com/edgeless-project/edgeless/pull/164 marked with "to be fixed in the additional short-term PR"
Apologies for being picky on the exit/panic thing, which is a kind of matter of principle, but the changes should be trivial.
can this branch be deleted now @markussauer @SaurabhVatsa ?
@lukasz-zet done
Comments in https://github.com/edgeless-project/edgeless/pull/164 marked with "to be fixed in the additional short-term PR"