use delete [] instead of delete for xml_buffer
Authored by: Jean-Francois Dockes 2015-03-31
Parent(s): [6becf6]
Child(ren): [07e20f]
