Peter Slegg, 17.02.2013 19:05:26:
I can't see many instances of situations were users would be running several apps that need the same lib so the memory used would not be important.
apps that need the same lib so the memory used would not be important.
Well, almost all would use the mintlib, no? -- Helmut Karlowski