Skip to content

Documentation improvements#894

Merged
MichaReiser merged 1 commit into
mainfrom
docs
Nov 21, 2025
Merged

Documentation improvements#894
MichaReiser merged 1 commit into
mainfrom
docs

Conversation

@MichaReiser

@MichaReiser MichaReiser commented Nov 21, 2025

Copy link
Copy Markdown
Member

Small improvements to the documentation:

  • Remove the upsell of the native server. It has been the default for many versions and it's probably more confusing now than helpful
  • Make it the assumption that users use the "new" rust based instead of the other way round.

@MichaReiser MichaReiser added the documentation Improvements or additions to documentation label Nov 21, 2025

@ntBre ntBre left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Makes sense to me!

@MichaReiser MichaReiser merged commit 9d10b45 into main Nov 21, 2025
8 checks passed
@MichaReiser MichaReiser deleted the docs branch November 21, 2025 14:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants