binnerda82916 16debb90c4 update
2025-01-08 08:20:08 +01:00

10 lines
312 B
Plaintext

# transcript error: error writing "stdout": broken pipe
while executing
"puts -nonewline stdout $s"
# transcript error: error writing "stdout": broken pipe
while executing
"puts -nonewline stdout $s"
# transcript error: error writing "stdout": broken pipe
while executing
"puts -nonewline stdout $s"