On Fri, 19 Sep 2014, Peter Zijlstra wrote:
On Wed, Sep 17, 2014 at 08:39:34PM -0400, Nicolas Pitre wrote:
Ping-ping.
Right, finally got to it. Too much travel and some time away from the computer with the 'usual' result :/
No problem. Next wednesday I'd simply have sent a ping^3. :-)
Nicolas