Code

Fix wildcard used to filter queue#16922

Code

Merged

Kordyjan merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:merge-queuedotty-staging/dotty:merge-queueCopy head branch name to clipboard

Feb 15, 2023

Commits

Commits on Feb 15, 2023

• Fix wildcard used to filter queue

  Kordyjan

  committed
  677991e

  Copy full SHA for 677991e