Merge pull request #7178 from yuwata/rfe-7169-v2
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Sun, 12 Nov 2017 11:45:23 +0000 (12:45 +0100)
committerGitHub <noreply@github.com>
Sun, 12 Nov 2017 11:45:23 +0000 (12:45 +0100)
core: add support to specify errno in SystemCallFilter=


Trivial merge