Mon, 12 Apr 2021 11:45:16 +0200 clarified exceptions;
wenzelm [Mon, 12 Apr 2021 11:45:16 +0200] rev 73560
clarified exceptions;
Sun, 11 Apr 2021 22:47:55 +0200 more uniform use of Byte_Message;
wenzelm [Sun, 11 Apr 2021 22:47:55 +0200] rev 73559
more uniform use of Byte_Message; support protocol_message with multiple chunks;
Sun, 11 Apr 2021 21:32:09 +0200 tuned signature;
wenzelm [Sun, 11 Apr 2021 21:32:09 +0200] rev 73558
tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip