AlexanderS and lukas2511 Replace all escaped slashes in json strings (closes #866)
67b111a Oct 31, 2022
Replace all escaped slashes in json strings (closes #866)
${var/pattern/string} will only replace the first occurence. We should
use ${var//pattern/string} to replace all escaped slashes.
67b111a