18 Jun
2011
18 Jun
'11
11:25 p.m.
I don't have a problem with it being removed (though this is Mike's call). I looked at it a bit for arm's enum implementation... https://gitweb.torproject.org/arm.git/blob/HEAD:/src/util/enum.py
but that's about it. -Damian