diff options
Diffstat (limited to 'devbot/plugins/interfaces.py')
| -rw-r--r-- | devbot/plugins/interfaces.py | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/devbot/plugins/interfaces.py b/devbot/plugins/interfaces.py index c6db014..d8659bf 100644 --- a/devbot/plugins/interfaces.py +++ b/devbot/plugins/interfaces.py @@ -43,10 +43,8 @@ class DistroInfo: self.version = None """The distribution version.""" - self.system_version = None - """A distribution independent system version, normally the same - major version of GNOME installed on the system. - """ + self.gnome_version = None + """The major version of GNOME shipped with the distribution.""" self.gstreamer_version = None """The version of gstreamer shipped with the distribution.""" |