List view

REPL: Improved REPL

t:friendliness

t:replJLine 3 upgrade (scala/scala#8036)JLine 3 upgrade (scala/scala#8036)

theme

Status: Closed (completed).

#325 In scala/scala-dev;

· by adriaanm was closed on Dec 8, 2020

Migrate scala/* repos from travis-ci.org to travis-ci.com

CI/publishing/infra

Status: Closed (completed).

#728 In scala/scala-dev;

· by SethTisue was closed on Dec 22, 2020

Release 2.13.5

Status: Closed (completed).

#762 In scala/scala-dev;

· by SethTisue was closed on Feb 22, 2021