On Tue, Feb 20, 2018 at 8:41 AM, Philippe Ombredanne <[email protected]> wrote: > On Sun, Feb 18, 2018 at 9:18 PM, Joe Perches <[email protected]> wrote: >> On Sun, 2018-02-18 at 20:37 +0100, Geert Uytterhoeven wrote: >>> Hi Philippe, >>> >>> On Sun, Feb 18, 2018 at 8:04 PM, Philippe Ombredanne >>> <[email protected]> wrote: >>> > On Sat, Feb 17, 2018 at 8:39 PM, Miguel Ojeda >>> > <[email protected]> wrote: >>> > > Cc: Willy Tarreau <[email protected]> >>> > > Cc: Geert Uytterhoeven <[email protected]> >>> > > Cc: Linus Walleij <[email protected]> >>> > > Cc: Robin van der Gracht <[email protected]> >>> > > Cc: Paul Burton <[email protected]> >>> > > Signed-off-by: Miguel Ojeda <[email protected]> >>> > > ---
Pinging Paul Burton in a couple of emails more... Cheers, Miguel
