Code

bugfix: handle CR#5651

Code

Closed

kasiaMarek wants to merge 1 commit intoscalameta:mainscalameta/metals:mainfrom kasiaMarek:handle-crkasiaMarek/metals:handle-crCopy head branch name to clipboard

+43-27

Commits

Commits on Sep 15, 2023

• bugfix: handle CR

  kasiaMarek

  committed
  7813d87