Paul Eggert wrote: > Yes, that's OK. As you say, the loss for reliability is small that way.
Thanks for the review. I pushed the two patches. Bruno
Paul Eggert wrote: > Yes, that's OK. As you say, the loss for reliability is small that way.
Thanks for the review. I pushed the two patches. Bruno