store devnull classes by their (new) id instead of their names
authorpk910 <philipp@zoelle1.de>
Mon, 15 Jul 2013 17:51:34 +0000 (19:51 +0200)
committerpk910 <philipp@zoelle1.de>
Mon, 15 Jul 2013 17:51:34 +0000 (19:51 +0200)

No differences found