Merge 20728bfed67d617b9c013204d2f95f71e0afa68c into dafc5f5de4f2b42b53cadaf819b25119cd531dfa

This commit is contained in:
Steffen Kowalski 2018-08-29 19:22:42 +00:00 committed by GitHub
commit 0c21a88b9b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -14325,7 +14325,7 @@
], ],
"ligatures": [], "ligatures": [],
"search": { "search": {
"terms": null "terms": []
}, },
"styles": [ "styles": [
"solid", "solid",