diff options
| -rw-r--r-- | devbot/plugins/debian.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devbot/plugins/debian.py b/devbot/plugins/debian.py index 402222f..8ba62b0 100644 --- a/devbot/plugins/debian.py +++ b/devbot/plugins/debian.py @@ -103,7 +103,7 @@ class DistroInfo(interfaces.DistroInfo): if debian_version is None: self.valid = False - if debian_version.startswith("wheezy"): + if debian_version and debian_version.startswith("wheezy"): self.version = "wheezy" else: self.supported = False |