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

Reply via email to