Re: "Suggested by Ben North"?

[Vinicius Jose Latorre]

Richard Stallman wrote:
>      2006-12-01  Vinicius Jose Latorre  <address@hidden>
>
>     +   * paren.el: Fix the highlight overlay extension when the user types a
>     +   sequence of char very fast just after the open parenthesis.
>     +   Suggested by Ben North <address@hidden>.
>     +
>
> Wasn't this patch WRITTEN by Ben North?
> Did you write a different patch, or did you install his patch?
>   

I installed exactly what Ben North wrote.

What verb should be used? Reported, Written, etc.?