[teiid-issues] [JBoss JIRA] (TEIID-4248) Build change for 8.13 caused the release notes to miss the version replacement