On 12/16/24 6:51 PM, Tomas Vondra wrote:
> OK, pushed. Similarly to tho the other tab completion patches I
> committed today, I chose not to squash the parts, even though these
> changes seem to be in the same area. Seems tidier this way.
Thanks!
Personally I do not care either way. Most committers seem to prefer a
bit more squashed patches than I do but either is fine.
Andreas