Release 2023.2.1-nightly.2023.10.10: Fix opening projects with arbitrary name (#8012) · enso-org/enso · GitHub

2023.2.1-nightly.2023.10.10
11997e9
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode
Compare

Choose a tag to compare

Loading

View all tags

2023.2.1-nightly.2023.10.10: Fix opening projects with arbitrary name (#8012)

2023.2.1-nightly.2023.10.10
11997e9
Compare

Choose a tag to compare

Loading

View all tags
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode

4e6 tagged this 10 Oct 01:15

related #7973

Fixes opening the projects with names that are not in Upper_Snake_Case.

# Important Notes
https://github.com/enso-org/enso/assets/357683/ea820658-5dee-474a-9dce-201d09796af7

Assets 2