Skip to content

docs: some minor follow-up to JuliaLang/julia#58253 #58314

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.

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

Merged
merged 1 commit into from
May 5, 2025

Conversation

aviatesk
Copy link
Member

@aviatesk aviatesk commented May 4, 2025

  • indent the numbered list so that it is rendered nicely
  • add the world age docs to the manual index

- indent the numbered list so that it is rendered nicely
- add the world age docs to the manual index
@aviatesk aviatesk added the backport 1.12 Change should be backported to release-1.12 label May 4, 2025
@giordano giordano added the docs This change adds or pertains to documentation label May 4, 2025
@aviatesk aviatesk merged commit f03df78 into master May 5, 2025
9 checks passed
@aviatesk aviatesk deleted the avi/follow-up-58253 branch May 5, 2025 01:16
aviatesk added a commit that referenced this pull request May 5, 2025
- indent the numbered list so that it is rendered nicely
- add the world age docs to the manual index
@KristofferC KristofferC mentioned this pull request May 5, 2025
53 tasks
@aviatesk aviatesk removed the backport 1.12 Change should be backported to release-1.12 label May 7, 2025
charleskawczynski pushed a commit to charleskawczynski/julia that referenced this pull request May 12, 2025
- indent the numbered list so that it is rendered nicely
- add the world age docs to the manual index
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs This change adds or pertains to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants