On Sunday, February 16, 2014 12:25:29 PM Tobias Knopp wrote:
> Yes, we should get rid of that enum. Might break some stuff from @timholy as
> he has written this if I am right. But the enum transition has broken this
> anyway ;-)

As long as it's fixable, no worries.