It is possible to set different file extensions than *.xml in the XML export dialog. However, no file is being created if this is done.
It is possible to set different file extensions than *.xml in the XML export dialog. However, no file is being created if this is done.
An issue was addressed in the export mechanism. Now, the extension .xml is added to the file name if it is not part of the entered name.
Fixed on 25.04.2012, available from 7.00 SP0 Build 1