chore(release): release 7.1.3#203

github-actions[bot] wants to merge 1 commit intomainmuhlba91/postgresql-pgvecto-container:mainfrom

release-please--branches--main--components--mainmuhlba91/postgresql-pgvecto-container:release-please--branches--main--components--mainCopy head branch name to clipboard