Minor fixes found while debugging

dedis / onet

Overlay Network for distributed protocols

GNU Lesser General Public License v3.0

50 stars 29 forks source link

Closed jeffallen closed 4 years ago

jeffallen commented 4 years ago

These are minor changes I made while I was looking into failures on DETERLab yesterday.