option to write gzipped XML
Authored by: Rudolf Mayer 2014-03-06
Parent(s): [3064c2]
Child(ren): [9bda86]