Skip to content

bugfix: Fix "UUID is not Serializable" bug in HTTPRepl#494

Merged
eob merged 1 commit into
mainfrom
ted/ship-787-uuid-not-serializable-error-in-cli
Jul 19, 2023
Merged

bugfix: Fix "UUID is not Serializable" bug in HTTPRepl#494
eob merged 1 commit into
mainfrom
ted/ship-787-uuid-not-serializable-error-in-cli

Conversation

@eob
Copy link
Copy Markdown
Contributor

@eob eob commented Jul 19, 2023

No description provided.

@eob eob changed the title Fix bug in HTTPRepl bugfix: Fix "UUID is not Serializable" bug in HTTPRepl Jul 19, 2023
@eob eob enabled auto-merge July 19, 2023 15:05
@eob eob added this pull request to the merge queue Jul 19, 2023
Merged via the queue into main with commit fe880cd Jul 19, 2023
@douglas-reid douglas-reid deleted the ted/ship-787-uuid-not-serializable-error-in-cli branch July 25, 2023 18:52
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.

1 participant