Hello, short note to say that packaging of v4.2.0 will start after 14:00 (Berlin time) -- anyone willing to do changes to branch 4.2 should send a short notice on sr-dev and wait for confirmation to avoid conflicts. Cheers, Daniel -- Daniel-Constantin Mierla http://twitter.com/#!/miconda - http://www.linkedin.com/in/miconda