Skip to content
This repository has been archived by the owner on Dec 10, 2024. It is now read-only.

Fix renaming Labels to LabelOptions #1853

Merged
merged 1 commit into from
Dec 11, 2023

Fix renaming `Labels` to `LabelOptions`

e8b85a2
Select commit
Loading
Failed to load commit list.
Merged

Fix renaming Labels to LabelOptions #1853

Fix renaming `Labels` to `LabelOptions`
e8b85a2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar