Bugfix. Nothing about a null message slot can be trusted. Fixes #190
Bugfix. Nothing about a null message slot can be trusted. Fixes #190

Derecho-Project/derecho-unified,Derecho-Project/derecho-unified,Derecho-Project/derecho-unified,Derecho-Project/derecho-unified,Derecho-Project/derecho-unified