On Thu, May 22, 2014 at 08:32:45AM +0200, Michael Kerrisk wrote:> [Thomas, thanks for pinging me on this.]> > Hi Cyril> > Please CC linux-api on changes that affect kernel-user-space ABI/API.Sure!