diff options
author | Michaël Zasso <targos@protonmail.com> | 2022-03-20 23:20:25 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-20 23:20:25 +0300 |
commit | 419f02ba1f00cac3c26b7f0e9a3c01624a8b87cc (patch) | |
tree | cc3f078a677ae1fed3f62405191e294910117260 /tools | |
parent | c846ca5de6e42daa25d7e5249bb25f3a8034d243 (diff) |
tools: make update-undici script executable
PR-URL: https://github.com/nodejs/node/pull/42406
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
Reviewed-By: Tobias Nießen <tniessen@tnie.de>
Reviewed-By: Darshan Sen <raisinten@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Diffstat (limited to 'tools')
-rwxr-xr-x[-rw-r--r--] | tools/update-undici.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/update-undici.sh b/tools/update-undici.sh index 40920df9d8f..40920df9d8f 100644..100755 --- a/tools/update-undici.sh +++ b/tools/update-undici.sh |