On Thu, Oct 10, 2013 at 11:41:28PM +0200, Georg Baum wrote: > > Does this patch fix the problem for you?
Yes! Now the export on all three platforms (either from command line or GUI) is the same as that originally obtained on Linux. Great work, really! -- Enrico
