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

Remove unused dev dependency for codec docs #5825

Merged
merged 1 commit into from
Jan 9, 2023
Merged

Conversation

haltman-at
Copy link
Contributor

#5820 made this devdep unused but didn't actually remove it, putting up a quick PR to do so.

Copy link
Member

@cds-amal cds-amal left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, @haltman-at. LGTM.

@haltman-at haltman-at merged commit f48b74f into develop Jan 9, 2023
@haltman-at haltman-at deleted the default-default branch January 9, 2023 23:20
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants