update the PR number in the history.md

Author: denihs

docs/generators/changelog/versions/3.0.1.md

@@ -2,7 +2,7 @@
 
 ### Highlights
 
-* Bump the patch for some packages, so we publish them using Meteor 3 tooling. [PR #13223]
+* Bump the patch for some packages, so we publish them using Meteor 3 tooling. [PR #13231]
 
 #### Breaking Changes
 

docs/history.md

@@ -12,7 +12,7 @@
 
 ### Highlights
 
-* Bump the patch for some packages, so we publish them using Meteor 3 tooling. [PR](https://github.com/meteor/meteor/pull/13223)
+* Bump the patch for some packages, so we publish them using Meteor 3 tooling. [PR](https://github.com/meteor/meteor/pull/13231)
 
 #### Breaking Changes