Koki Fukuda 3522338b3d extensions-tool: Escape '\' and '"' in json string ...

If user-input string contains '\' and/or '"', extensions-tool
generates invalid json.
This fixes that by escaping '\' and '"'.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1279

2020-05-28 11:23:19 +00:00

..

extensions-app

extensions-app: Indicate extension errors

2020-05-21 21:45:04 +00:00

extensions-tool

extensions-tool: Escape '\' and '"' in json string

2020-05-28 11:23:19 +00:00

gvc @ ec5cf3e0de

gvc: Update submodule

2019-11-23 15:16:51 +01:00

shew

Bump version to 3.37.1

2020-04-29 21:40:33 +02:00