Search results Status: Closed (abandoned). scala/scala-dev number 875
#875 In scala/scala-dev; Status: Closed (abandoned). scala/scala-dev number 796
#796 In scala/scala-dev; Status: Closed (abandoned). scala/scala-dev number 869
#869 In scala/scala-dev; Status: Closed (abandoned). scala/scala-dev number 810
#810 In scala/scala-dev; Status: Closed (abandoned). scala/scala-dev number 817
#817 In scala/scala-dev; Status: Closed (abandoned). scala/scala-dev number 861
#861 In scala/scala-dev; Status: Closed (abandoned). scala/scala-dev number 597
#597 In scala/scala-dev; · by dwijnand was closed on Jan 16, 2019 Status: Merged (completed). scala/scala-dev number 743
#743 In scala/scala-dev; · by dwijnand was closed on Nov 18, 2020 Status: Closed (abandoned). scala/scala-dev number 763
#763 In scala/scala-dev; Status: Closed (abandoned). scala/scala-dev number 820
#820 In scala/scala-dev; Status: Closed (abandoned). scala/scala-dev number 860
#860 In scala/scala-dev; Status: Closed (abandoned). scala/scala-dev number 723
#723 In scala/scala-dev; · by eed3si9n was closed on Sep 24, 2020 You can’t perform that action at this time.