On Wed, Oct 31, 2018 at 6:44 PM David Miller <[email protected]> wrote:
>
> Two small fixes, please pull.

Pulled,

                    Linus

Reply via email to