Skip to content

docs: note mysql comments for saved query results#720

Merged
jiangxinmeng1 merged 1 commit into
mainfrom
docs/save-query-result-comments-note
Jul 2, 2026
Merged

docs: note mysql comments for saved query results#720
jiangxinmeng1 merged 1 commit into
mainfrom
docs/save-query-result-comments-note

Conversation

@aptend

@aptend aptend commented Jul 2, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • Document that MySQL CLI users need --comments/-c when using /* save_result */
  • Normalize saved query result tag spacing in the limitations section

Testing

  • Not run; documentation-only change

@jiangxinmeng1
jiangxinmeng1 merged commit af6743f into main Jul 2, 2026
4 checks passed
@jiangxinmeng1
jiangxinmeng1 deleted the docs/save-query-result-comments-note branch July 2, 2026 09:39
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.

2 participants