Open nicolasstucki opened 3 years ago
https://github.com/lampepfl/dotty/pull/12174
@nicolasstucki Any news on this one? 🙂
Someone should try to update the community build version of propquill in the dotty project submodules.
https://github.com/lampepfl/dotty/pull/12174