colord.py.patch

--- dispcalGUI/colord.py        2013-03-01 18:51:57.000000000 +0100
+++ dispcalGUI/colord.py_new    2013-09-01 09:25:36.921048000 +0200
@@ -54,7 +54,7 @@
                edid_keys = ["manufacturer", "monitor_name", "ascii", "serial_ascii",
                                         "serial_32"]
        else:
-               edid_keys = ["manufacturer", "monitor_name", "serial_ascii"]
+               edid_keys = ["monitor_name", "serial_ascii"]
        for name in edid_keys:
                value = edid.get(name)
                if value: