Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

reload: better document limitations of .reload command #2417

Merged
merged 1 commit into from
Mar 6, 2023
Merged

reload: better document limitations of .reload command #2417

merged 1 commit into from
Mar 6, 2023

Conversation

dgw
Copy link
Member

@dgw dgw commented Feb 28, 2023

Description

Tin. Lighter weight (no-code) alternative to #2043.

Checklist

  • I have read CONTRIBUTING.md
  • I can and do license this contribution under the EFLv2
  • No issues are reported by make qa (runs make quality and make test)
  • I have tested the functionality of the things this change touches
    • Easy, because no code is touched. I verified the appearance of .help reload output.

@dgw dgw added this to the 8.0.0 milestone Feb 28, 2023
@dgw dgw requested a review from a team February 28, 2023 17:42
Exirel
Exirel approved these changes Feb 28, 2023
View reviewed changes
Copy link
Contributor

@Exirel Exirel left a comment

Choose a reason for hiding this comment

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

😍 😍 😍

@dgw dgw merged commit f8ad350 into master Mar 6, 2023
@dgw dgw deleted the reload-doc-single-file branch March 6, 2023 23:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Exirel Exirel Exirel approved these changes

Assignees
No one assigned
Labels
Documentation Tweak
Projects
None yet
Milestone
8.0.0
Development

Successfully merging this pull request may close these issues.
2 participants
@dgw @Exirel