Paul Eggert wrote: > Thanks, that looks good, except for a couple of minor details:
Thanks again for the review. I've pushed it now, with tiny modifications. Bruno
Paul Eggert wrote: > Thanks, that looks good, except for a couple of minor details:
Thanks again for the review. I've pushed it now, with tiny modifications. Bruno