Oivind, thank you for the notice. Obviously it is an erroneous behavior, but it should be fixed now. I am aware of problems related to renaming symbols with multiple aliases (lp:#1737964).
Oivind, thank you for the notice. Obviously it is an erroneous behavior, but it should be fixed now. I am aware of problems related to renaming symbols with multiple aliases (lp:#1737964).