29 Jan
2024
29 Jan
'24
2:54 p.m.
On Mon Jan 29 13:59:03 2024 +0000, eric pouech wrote:
this looks like a gratuitous white-space only change
Yes, it's intentional. I have fixed some white-space errors close to the code that is changed.