On March 9, 2015 7:16:40 AM GMT+08:00, Michael Matz <[email protected]> wrote: > Hi, > > On Sun, 8 Mar 2015, Edmund Grimley Evans wrote: > > > Is this a good change, or pointless fiddling? > > It doesn't cause too much churn (only changes 10 lines), and it > annoyed me sometimes as well, so IMHO it's a good change.
Agreed. Best regards, Thomas _______________________________________________ Tinycc-devel mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/tinycc-devel
