Merge "Remove deprecated function wfShellExecDisabled()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 Apr 2018 02:25:03 +0000 (02:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 Apr 2018 02:25:04 +0000 (02:25 +0000)
commit83e21aa8129a4cfda74236ff55c7594e0ce12f4a
tree742e24d76b109f9da25f322fd8b3794b4ca574d7
parent0b7d72d867c3b9f062303b739da0fb2a334d779b
parentf4668d6c125eed9ca5008ec2453aaa3a581b10ab
Merge "Remove deprecated function wfShellExecDisabled()"