Skip to content

[WIP] Dotty support#867

Closed
xerial wants to merge 6 commits intowvlet:masterfrom
xerial:dotty
Closed

[WIP] Dotty support#867
xerial wants to merge 6 commits intowvlet:masterfrom
xerial:dotty

Conversation

@xerial
Copy link
Copy Markdown
Member

@xerial xerial commented Dec 22, 2019

No description provided.

@xerial xerial mentioned this pull request Dec 23, 2019
76 tasks
@xerial xerial mentioned this pull request May 14, 2020
62 tasks
@xerial xerial marked this pull request as draft May 21, 2020 04:11
@xerial
Copy link
Copy Markdown
Member Author

xerial commented Dec 5, 2020

This will be superceded by #1381

@xerial xerial closed this Dec 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant