On Mon, 25 Apr 2016 07:37:00 +0100Eric Engestrom <eric@engestrom.ch> wrote:> Documentation/robust-futexes.txt | 6 +++---> 1 file changed, 3 insertions(+), 3 deletions(-)Applied to the docs tree, thanks.jon