Remove deprecated 'k' alias in metrics #889

Open

Labels

Milestone

opened

on Oct 15, 2025

After #888, remove the deprecated k alias for a future LensKit release.

Metadata

Assignees

No one assigned

Labels

Type

Projects

No projects

Milestone

2027.1

Relationships

None yet

Development

No branches or pull requests