diff --git a/tools/i18n/unescape-contents b/tools/i18n/unescape-contents index b388fffe8d..3b7933a073 100755 --- a/tools/i18n/unescape-contents +++ b/tools/i18n/unescape-contents @@ -58,3 +58,4 @@ if __name__ == "__main__": # somewhat-implicit JSON unescape. This may behave in unexpected ways # on other OSes or system encodings. json.dump(json_data, dest, ensure_ascii=False, indent=args.indent_level) + dest.write("\n")