26 Oct
2023
26 Oct
'23
6:45 a.m.
On Wed Oct 25 20:35:41 2023 +0000, eric pouech wrote:
it seems to me that the handling of the EOF could be written more simply (don't have precise idea how)
Feel free to drop the last commit. I can create a separate pull-request as well. For me the whitespace problem has much higher priority.