diff options
Diffstat (limited to 'docs/users_guide/8.12.1-notes.rst')
| -rw-r--r-- | docs/users_guide/8.12.1-notes.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/users_guide/8.12.1-notes.rst b/docs/users_guide/8.12.1-notes.rst index 9fabc47310..eb72ca9bde 100644 --- a/docs/users_guide/8.12.1-notes.rst +++ b/docs/users_guide/8.12.1-notes.rst @@ -100,6 +100,9 @@ Compiler GHCi ~~~~ +- The ``:script`` command now allows for file names that contain spaces to + passed as arguments: either by enclosing the file names in double quotes or by + escaping spaces in file names with a backslash. (#18027) Runtime system ~~~~~~~~~~~~~~ |