Fix #11899: DefaultSettingsXmlFactory.write() always emits location comments#11929
Closed
gnodet wants to merge 1 commit into
Closed
Fix #11899: DefaultSettingsXmlFactory.write() always emits location comments#11929gnodet wants to merge 1 commit into
gnodet wants to merge 1 commit into