mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
59a8856773
Unequal numbers of double quotes let the XML parser of init fail, therefore replace all double quotes when transfering previous results after a reboot. Ref #3027