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