|
From: | Eli Zaretskii |
Subject: | Re: 357d273d breaks bootstrap |
Date: | Fri, 22 Oct 2021 09:52:11 +0300 |
> From: Po Lu <luangruo@yahoo.com> > Date: Fri, 22 Oct 2021 08:34:51 +0800 > > P.S. what is the immediate necessity for these changes? IMO, removing > such redundant syntax should be delegated to the same priority as > whitespace changes. I agree, FWIW.
[Prev in Thread] | Current Thread | [Next in Thread] |