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




Reply via email to