<div dir="ltr"><span style="color:rgb(0,0,0);font-size:12.8px">Hi!</span><div
style="color:rgb(0,0,0);font-size:12.8px"><br/></div><div style="color:rgb(0,0,0);font-size:12.8px">Right now it is not
possibleto rename an enum value.</div><div style="color:rgb(0,0,0);font-size:12.8px">Are there plans to implement this
anytimesoon?</div><div style="color:rgb(0,0,0);font-size:12.8px">I had a bit of a discussion on the IRC channel and it
seemsit shouldn't be that hard to implement this.</div><div style="color:rgb(0,0,0);font-size:12.8px">Again, I am
talkingabout renaming the values, not the enum itself.</div><div style="color:rgb(0,0,0);font-size:12.8px"><br
/></div><divstyle="color:rgb(0,0,0);font-size:12.8px">Thanks!</div><div style="color:rgb(0,0,0);font-size:12.8px"><br
/></div><divstyle="color:rgb(0,0,0);font-size:12.8px">Greetings,</div><div
style="color:rgb(0,0,0);font-size:12.8px">Matthias</div></div>
