Skip to content

remove unneeded dependency#315

Merged
khieta merged 1 commit intomainfrom
khieta/drt-fix
May 10, 2024
Merged

remove unneeded dependency#315
khieta merged 1 commit intomainfrom
khieta/drt-fix

Conversation

@khieta
Copy link
Copy Markdown
Contributor

@khieta khieta commented May 10, 2024

Issue #, if available:

Description of changes:

Quick fix to accommodate cedar#857.

@khieta khieta merged commit c57de09 into main May 10, 2024
@khieta khieta deleted the khieta/drt-fix branch May 10, 2024 16:00
aaronjeline pushed a commit that referenced this pull request May 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants