Fix Prelude (#15714)

* ReSync with Devel

* Fix prelude for JS target

* ReSync devel

* Fix prelude for JS target
This commit is contained in:
Juan Carlos 2020-10-26 06:36:12 -03:00 • committed by GitHub
commit e284445e51
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 1 deletions

View file

@ -4,6 +4,7 @@
## Standard library additions and changes
- `prelude` now works with the JavaScript target.
## Language changes