Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Build for Dotty #170

Closed
kevin-lee opened this issue Aug 8, 2020 · 0 comments · Fixed by #171
Closed

Build for Dotty #170

kevin-lee opened this issue Aug 8, 2020 · 0 comments · Fixed by #171
Assignees
@kevin-lee
Labels
task
Milestone
milestone13

Comments

@kevin-lee
Copy link
Owner

Task

Summary

Build for Dotty

Project Details

Version: 1.3.5
@kevin-lee kevin-lee added the task label Aug 8, 2020
@kevin-lee kevin-lee added this to the milestone13 milestone Aug 8, 2020
@kevin-lee kevin-lee self-assigned this Aug 8, 2020
kevin-lee added a commit that referenced this issue Aug 8, 2020
@kevin-lee
Close #170 - Build for Dotty
433e0a3
kevin-lee added a commit that referenced this issue Aug 8, 2020
@kevin-lee
Close #170 - Build for Dotty
02634e8
kevin-lee added a commit that referenced this issue Aug 8, 2020
@kevin-lee
fixup! Close #170 - Build for Dotty
5615240
kevin-lee added a commit that referenced this issue Aug 8, 2020
@kevin-lee
fixup! fixup! Close #170 - Build for Dotty
90e0341
@kevin-lee kevin-lee mentioned this issue Aug 8, 2020
Merged
kevin-lee added a commit that referenced this issue Aug 8, 2020
@kevin-lee
Close #170 - Build for Dotty
5e55231
kevin-lee added a commit that referenced this issue Aug 8, 2020
@kevin-lee
Close #170 - Build for Dotty
24669d7
kevin-lee added a commit that referenced this issue Aug 8, 2020
@kevin-lee
Close #170 - Build for Dotty
7c8e63a
kevin-lee added a commit that referenced this issue Aug 8, 2020
@kevin-lee
Close #170 - Build for Dotty
343eb74
kevin-lee added a commit that referenced this issue Aug 8, 2020
@kevin-lee
Close #170 - Build for Dotty
7ffe432
kevin-lee added a commit that referenced this issue Aug 8, 2020
@kevin-lee
Close #170 - Build for Dotty
d02bd27
kevin-lee added a commit that referenced this issue Aug 8, 2020
@kevin-lee
Merge pull request #171 from Kevin-Lee/task/170/build-for-dotty
0805999 
Close #170 - Build for Dotty
This was referenced Apr 17, 2021
Merged
Merged
Merged
Merged
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kevin-lee kevin-lee

Labels
task
Projects
None yet
Milestone
milestone13
Development

Successfully merging a pull request may close this issue.

Close #170 - Build for Dotty kevin-lee/just-fp
1 participant
@kevin-lee