diff options
| -rwxr-xr-x | .github/diag.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/diag.sh b/.github/diag.sh index 942487a..9388309 100755 --- a/.github/diag.sh +++ b/.github/diag.sh @@ -13,4 +13,4 @@ filter() { \1/' } -"$@" 2> >(filter >&2) | filter +"$@" > >(filter) 2> >(filter >&2) |