bug#9642: closed (Re: bug#9642: move-overlay creates an empty overlay with the evaporate property)

[Stefan Monnier]

> I ran into this and I think I got my head around the problem with
> revision 108012.

Thanks, your analysis sounds right and your patch looks OK.
Could you please send an updated patch with the following nitpicks
addressed:
- Add a space before the opening paren of function calls.
- Use two spaces to end sentences in comments.
- Don't forget to punctuate your comments.

> +      /* Make notice of original overlay values */

E.g. here, add ". " after "values".

> +    return unbind_to(count, Fdelete_overlay (overlay));

and here add a space after "unbind_to".

[ Of course, I could do it myself, but we can't install your patch right
now anyway because that's going beyond what we consider as "tiny patch"
so we need your copyright paperwork first.  ]


        Stefan