diff options
| -rwxr-xr-x | tools/version-check.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/version-check.py b/tools/version-check.py index d7dcdb2bf..82ad6af73 100755 --- a/tools/version-check.py +++ b/tools/version-check.py @@ -47,7 +47,6 @@ SKIP_PROJECTS = { # NOTE(hrw): those projects we take as they are they may have just one old # release or no stable branch tarballs ALWAYS_USE_VERSION_PROJECTS = { - 'patrole', 'vmtp', } |