fix: use MessageData.tagged
to mark maxHeartbeat exceptions#5566
Merged
kmill merged 1 commit intoleanprover:masterfrom eric-wieser:patch-22Oct 9, 2024
+17-42
MessageData.tagged
to mark maxHeartbeat exceptions#5566