On Tue, May 24, 2011 at 14:47, Rodrigo Rosenfeld Rosas <[email protected]>wrote:
> I've tried asking this on IRC, but no one was there at that time, so here > are the questions: > As I understand, this issue was resolved on IRC, and no, it's not a problem to change the name. Christian -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected]
