Skip to content

Add missing overrides.#643

Merged
dubinsky merged 1 commit intoscala:mainfrom
dubinsky:add-overrides
Feb 6, 2023
Merged

Add missing `override`s.#643
dubinsky merged 1 commit intoscala:mainfrom
dubinsky:add-overrides

Commits

Commits on Jan 27, 2023