Merge branch 'fix/release/json-output' into 'master'

[release] fixes missing quote in release JSON

See merge request frama-c/frama-c!4211

dev/build-release.sh

@@ -368,7 +368,7 @@ cat >$JSON_DATA <<EOL
     ]
   },
 EOL
-echo "  \"description\": \"# Main changes since $PREVIOUS $PREVIOUS_NAME\n$(jq <"$CHANGES" --raw-input 'sub("^#";"##")' | jq --slurp 'join("\n")' | sed 's/^.//;s/.$//')" >> $JSON_DATA
+echo "  \"description\": \"# Main changes since $PREVIOUS $PREVIOUS_NAME\n$(jq <"$CHANGES" --raw-input 'sub("^#";"##")' | jq --slurp 'join("\n")' | sed 's/^.//;s/.$//')\"" >> $JSON_DATA
 echo "}" >> $JSON_DATA
 
 echo "Release data file built"