From: "Kostis Sagonas" <kostis@REDACTED> > Yes, this is a bug. We will fix it May I ask if this bug is limited to Linux, or it is unversal to all supported platforms (e.g. Solaris). Would it be safe to assume that R11 is still the safest bet for Linux? Thanks in advance. V.