Skip to content

Improve docs for MERGE#19710

Merged
mosabua merged 1 commit intotrinodb:masterfrom
simpligility:merge
Nov 20, 2023
Merged

Improve docs for MERGE#19710
mosabua merged 1 commit intotrinodb:masterfrom
simpligility:merge

Conversation

@mosabua
Copy link
Member

@mosabua mosabua commented Nov 11, 2023

Description

A bit of formatting and some additional explanation.

Release notes

(x) This is not user-visible or is docs only, and no release notes are required.

@mosabua mosabua requested review from djsagain and martint November 11, 2023 00:01
@cla-bot cla-bot bot added the cla-signed label Nov 11, 2023
@github-actions github-actions bot added the docs label Nov 11, 2023
@mosabua mosabua force-pushed the merge branch 2 times, most recently from 36b48f5 to 146fe3f Compare November 15, 2023 19:45
Copy link
Member Author

@mosabua mosabua left a comment

Choose a reason for hiding this comment

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

Ready for another look @djsstarburst and @electrum

@mosabua mosabua requested a review from electrum November 15, 2023 19:46
Copy link
Member

@djsagain djsagain left a comment

Choose a reason for hiding this comment

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

This is looking good! I made a couple small suggestions.

@mosabua mosabua merged commit add33e2 into trinodb:master Nov 20, 2023
@mosabua mosabua deleted the merge branch November 20, 2023 18:56
@github-actions github-actions bot added this to the 434 milestone Nov 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

3 participants