[pull] master from JuliaLang:master

[pull]

See Commits and Changes for more details.

---

Created by pull[bot] (v2.0.0-alpha.1)

Can you help keep this open source service alive? 💖 Please sponsor : )

Summary by Sourcery

Refine v1.12 release notes and update test Makefile target dependency

Enhancements:

• Clarify --trim option as experimental with potential limitations
• Update constant redefinition semantics to include types under world age semantics and reference issue bpart: Fully switch to partitioned semantics JuliaLang/julia#57253

Build:

• Remove dep_revise prerequisite from revise-relocatedepot test Makefile target

Documentation:

• Adjust HISTORY.md heading underlines and bullet formatting, add missing period and update issue links

[sourcery-ai]

Reviewer's Guide

This PR refines the HISTORY.md release notes by adjusting heading formatting, clarifying the experimental --trim option and world age semantics, updating issue references, and streamlines a test Makefile by removing an unnecessary dependency from the revise-relocatedepot target.

Flow Diagram: Makefile Dependency Update for revise-relocatedepot Target

graph TD
    subgraph "Dependencies for `revise-relocatedepot` - Before Change"
        direction LR
        UnnecessaryDep["Unnecessary Dependency"] --> Target1["revise-relocatedepot"]
        OtherDeps1["Other Dependencies"] --> Target1
    end

    subgraph "Dependencies for `revise-relocatedepot` - After Change"
        direction LR
        OtherDeps2["Other Dependencies"] --> Target2["revise-relocatedepot"]
    end

Loading

File-Level Changes

Change	Details	Files
Refine release notes formatting and content in HISTORY.md	Adjusted underline lengths for release note headings Clarified that --trim is experimental and may have limitations Updated world age redefinition note to reference issue bpart: Fully switch to partitioned semantics JuliaLang/julia#57253 and changed example from structs to types Corrected punctuation on a Language changes bullet (better behaved loading errors JuliaLang/julia#57727) Added link reference for issue bpart: Fully switch to partitioned semantics JuliaLang/julia#57253 before next release section	HISTORY.md
Simplify Makefile test target	Removed dep_revise prerequisite from revise-relocatedepot target	test/Makefile

---

Tips and commands

Interacting with Sourcery

• Trigger a new review: Comment @sourcery-ai review on the pull request.
• Continue discussions: Reply directly to Sourcery's review comments.
• Generate a GitHub issue from a review comment: Ask Sourcery to create an
  issue from a review comment by replying to it. You can also reply to a
  review comment with @sourcery-ai issue to create an issue from it.
• Generate a pull request title: Write @sourcery-ai anywhere in the pull
  request title to generate a title at any time. You can also comment
  @sourcery-ai title on the pull request to (re-)generate the title at any time.
• Generate a pull request summary: Write @sourcery-ai summary anywhere in
  the pull request body to generate a PR summary at any time exactly where you
  want it. You can also comment @sourcery-ai summary on the pull request to
  (re-)generate the summary at any time.
• Generate reviewer's guide: Comment @sourcery-ai guide on the pull
  request to (re-)generate the reviewer's guide at any time.
• Resolve all Sourcery comments: Comment @sourcery-ai resolve on the
  pull request to resolve all Sourcery comments. Useful if you've already
  addressed all the comments and don't want to see them anymore.
• Dismiss all Sourcery reviews: Comment @sourcery-ai dismiss on the pull
  request to dismiss all existing Sourcery reviews. Especially useful if you
  want to start fresh with a new review - don't forget to comment
  @sourcery-ai review to trigger a new review!

Customizing Your Experience

Access your dashboard to:

• Enable or disable review features such as the Sourcery-generated pull request
  summary, the reviewer's guide, and others.
• Change the review language.
• Add, remove or edit custom review instructions.
• Adjust other review settings.

Getting Help

• Contact our support team for questions or feedback.
• Visit our documentation for detailed guides and information.
• Keep in touch with the Sourcery team by following us on X/Twitter, LinkedIn or GitHub.