Georg Brandl schrieb: >> Can somebody please fix that? If not, should we remove the uuid module >> as being immature? > > Patch #1541863 supposedly solves this. Ah, good. I think it should go in. Regards, Martin