diff --git a/source/_extensions/wpilib_release.py b/source/_extensions/wpilib_release.py index 5017848307..e7e6b7f46f 100644 --- a/source/_extensions/wpilib_release.py +++ b/source/_extensions/wpilib_release.py @@ -83,7 +83,32 @@ def get_url_size(osname):