Search results Status: Closed (abandoned). scala/scala-dev number 597
#597 In scala/scala-dev; · by dwijnand was closed on Jan 16, 2019 · Updated on Jan 16, 2019
Status: Merged (completed). scala/scala-dev number 624
#624 In scala/scala-dev; · Updated on Apr 23, 2019
Status: Merged (completed). scala/scala-dev number 650
#650 In scala/scala-dev; · Updated on Sep 3, 2019
Status: Merged (completed). scala/scala-dev number 718
#718 In scala/scala-dev; · by ohze was closed on Jul 23, 2020 · Updated on Jul 23, 2020
Status: Closed (abandoned). scala/scala-dev number 723
#723 In scala/scala-dev; · by eed3si9n was closed on Sep 24, 2020 · Updated on Sep 25, 2020
Status: Merged (completed). scala/scala-dev number 739
#739 In scala/scala-dev; · by dwijnand was closed on Nov 11, 2020 · Updated on Nov 11, 2020
Status: Merged (completed). scala/scala-dev number 740
#740 In scala/scala-dev; · by dwijnand was closed on Nov 13, 2020 · Updated on Nov 13, 2020
Status: Merged (completed). scala/scala-dev number 742
#742 In scala/scala-dev; · by dwijnand was closed on Nov 13, 2020 · Updated on Nov 13, 2020
Status: Merged (completed). scala/scala-dev number 750
#750 In scala/scala-dev; · by retronym was closed on Nov 30, 2020 · Updated on Nov 30, 2020
Status: Merged (completed). scala/scala-dev number 772
#772 In scala/scala-dev; · by retronym was closed on May 24, 2021 · Updated on May 24, 2021
Status: Merged (completed). scala/scala-dev number 773
#773 In scala/scala-dev; · by retronym was closed on May 27, 2021 · Updated on May 27, 2021
Status: Merged (completed). scala/scala-dev number 774
#774 In scala/scala-dev; · by retronym was closed on May 27, 2021 · Updated on May 28, 2021
You can’t perform that action at this time.