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