Hi all, Luca Abeni wrote: [...] > I'll wait 1 day or 2, to give Wolfram the possibility to comment on > this, then I'll apply the patch. Three days passed, and nothing happened... So, patch committed. Thanks, Luca