Skip to content

Avoid Predef.augmentString#541

Merged
xuwei-k merged 1 commit into
masterfrom
augmentString
Jun 21, 2026
Merged

Avoid Predef.augmentString#541
xuwei-k merged 1 commit into
masterfrom
augmentString

Avoid Predef.augmentString

8c5b95e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
latest
succeeded Jun 21, 2026 in 2m 42s