diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-28 17:19:02 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-28 17:19:02 (GMT) |
commit | 05092022c801c630ba409fd1db17f55140886e69 (patch) | |
tree | 3d75d0aac59840dfe1090c1ea1d0f73dd3122861 /devbot | |
parent | d7a1df47e902cca01a1c56cea04cc25722c15948 (diff) |
12.10 should use 3.6
Diffstat (limited to 'devbot')
-rw-r--r-- | devbot/plugins/ubuntu.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devbot/plugins/ubuntu.py b/devbot/plugins/ubuntu.py index 4f1fb91..6b80b4e 100644 --- a/devbot/plugins/ubuntu.py +++ b/devbot/plugins/ubuntu.py @@ -101,7 +101,7 @@ class DistroInfo(interfaces.DistroInfo): if self.version != "12.10": self.supported = False - if self.version and self.version > "12.10": + if self.version and self.version >= "12.10": self.system_version = "3.6" def _get_distributor(self): |