#3705: Command-line arguments were not correctly decoded when the
terminal does not use UTF8.
Now the code propagates the unicode string as far as possible, and avoids
the conversion to char* which implicitely uses utf-8.
Reviewed by Benjamin.
diff --git a/Misc/NEWS b/Misc/NEWS
index 3a8f467..24afb0e 100644
--- a/Misc/NEWS
+++ b/Misc/NEWS
@@ -13,6 +13,9 @@
Core and Builtins
-----------------
+- Issue #3705: Command-line arguments were not correctly decoded when the
+ terminal does not use UTF8.
+
Library
-------