Re: [PATCH TRIVIAL] Punctuation fixes

[Miguel Ojeda]

Hi Richard,

On Sun, Sep 23, 2018 at 10:59 AM, Richard Weinberger
<richard.weinberger@xxxxxxxxx> wrote:
> On Sun, Sep 23, 2018 at 3:00 AM Miguel Ojeda
> <miguel.ojeda.sandonis@xxxxxxxxx> wrote:
>>
>> Hi Diego,
>>
>> A few things, since it looks like this is your first patch.
>
> git log...

Oops! I guess I mistyped the search string, sorry Diego!

Cheers,
Miguel