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



Reply via email to