On Mon, Jun 09, 2014 at 06:37:11PM +0200, Martin Husemann wrote: > On Sun, Jun 08, 2014 at 04:24:55PM +0100, Mindaugas Rasiukevicius wrote: > > That is RUMP-specific. Fixed now. > > Still not much better for me: Ooops, something went wrong with my cvs update - will retry. Martin