From ec56e7ec7d9ed7e85b6f97de133e518b7714e657 Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Mon, 14 Jan 2013 09:06:26 +0000
Subject: Merge branch 'testing'

---
(limited to 'devbot')

diff --git a/devbot/config.py b/devbot/config.py
index fe96f17..73cad0c 100644
--- a/devbot/config.py
+++ b/devbot/config.py
@@ -182,7 +182,8 @@ def _filter_if(item):
 
     distro_info = distro.get_distro_info()
     globals = {"gstreamer_version": distro_info.gstreamer_version,
-               "gnome_version": distro_info.gnome_version}
+               "gnome_version": distro_info.gnome_version,
+               "distro": "%s-%s" % (distro_info.name, distro_info.version)}
 
     return eval(item["if"], globals)
 
--
cgit v0.9.1