Update `HISTORY.md` for Julia 1.13-beta

[eschnett]

I see that the release-1.13 branch does not yet have any 1.13 release notes in its HISTORY.md. However, the master branch does.

Should I open a PR for this?

[deepeshraghav]

Yes, that would be helpful.

Opening a PR against the release-1.13 branch and bringing over the existing 1.13 notes from master’s HISTORY.md sounds like the right approach.

[lgoettgens]

I see that the release-1.13 branch does not yet have any 1.13 release notes in its HISTORY.md. However, the master branch does.

Should I open a PR for this?

If I understand correctly, the 1.13 release notes on the release-1.13 branch are in the NEWS.md and not in HISTORY.md.
Indeed, comparing the first part of HISTORY.md on master with NEWS.md on release-1.13 looks the same.