Sun, 26 Mar 2023 15:47:40 +0200 wenzelm removed junk (amending 236e43c8bb5b);
Sun, 26 Mar 2023 15:02:08 +0200 wenzelm tuned;
Sun, 26 Mar 2023 14:45:28 +0200 wenzelm tuned output;
Sun, 26 Mar 2023 14:36:47 +0200 wenzelm tuned performance: much faster low-level operation;
Sun, 26 Mar 2023 14:24:38 +0200 wenzelm clarified signature: more general operation Bytes.read_slice;
Sun, 26 Mar 2023 12:53:53 +0200 wenzelm clarified signature: more explicit types;
Sun, 26 Mar 2023 12:46:15 +0200 wenzelm clarified signature: more explicit types;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip