Skip to content

Add PLG$PROF_CURSORS and some others fixes#7442

Merged
asfernandes merged 2 commits intomasterfrom
work/profiler-cursor-data
Jan 10, 2023
Merged

Add PLG$PROF_CURSORS and some others fixes#7442
asfernandes merged 2 commits intomasterfrom
work/profiler-cursor-data

Conversation

@asfernandes
Copy link
Copy Markdown
Member

No description provided.

@asfernandes
Copy link
Copy Markdown
Member Author

This PR is based on yet un-merged #7441.

If it's not going to be merged for beta1, then I'd postpone it only for next major version, as there is no mechanism in place for upgrade of PLG$PROF_* objects (they are just normal objects).

But then some fixes need to be collected from this branch to master.

@asfernandes asfernandes self-assigned this Jan 4, 2023
Base automatically changed from v5-pretty-explained-plan to master January 10, 2023 17:58
@dyemanov
Copy link
Copy Markdown
Member

I will move the tag after this PR is merged.

@asfernandes asfernandes force-pushed the work/profiler-cursor-data branch from 74a18d9 to 6b48ed6 Compare January 10, 2023 23:57
@asfernandes asfernandes merged commit 4595a2c into master Jan 10, 2023
@asfernandes asfernandes deleted the work/profiler-cursor-data branch January 10, 2023 23:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants