Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
clean-libraries
Merge requests
!17
Merged
Created
May 04, 2021
by
Camil Staps
@cstaps
Contributor
Options
GraphCopy: update exported_clean_symbol to export _None instead of _Nothing
Overview
0
Commits
1
Changes
3
The descriptor was renamed in
clean-compiler-and-rts/stdenv@a8ba1645
.