Skip to content

Revert "DAP: introduce Rdbg Record Inspector"#936

Merged
ko1 merged 1 commit intomasterfrom
revert-935-record-inspector
Mar 22, 2023
Merged

Revert "DAP: introduce Rdbg Record Inspector"#936
ko1 merged 1 commit intomasterfrom
revert-935-record-inspector

Conversation

@ko1
Copy link
Copy Markdown
Collaborator

@ko1 ko1 commented Mar 22, 2023

Reverts #935

will be merged on 1.8

@ko1 ko1 merged commit 49e37f9 into master Mar 22, 2023
@ko1 ko1 deleted the revert-935-record-inspector branch March 22, 2023 02:28
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