julia

13cfbfe5 - Fix History `eye` deprecation PR: should be 24415

Fix History `eye` deprecation PR: should be 24415 The History.md file linked to #24413 for `eye` deprecation in 0.7. This commit changes it to link to #24415.